FA Examples

This page hosts some examples of .theory syntax files that you can copy and paste and try yourself.

Testing types

The following code snippet creates a few variables and prints them, as well as printing non-assigned values.

integer = 123
print(integer)
print()

print(123)
print()

string = "s0"
print(string)
print()

print("s0")
print()

boolean = True
print(boolean)
print()

print(True)
print()

dict = {"s1": {"s2": 1}}
print(dict)
print()

print({"s1": {"s2": 1}})
print()

set = {"s1", "s2", "s3"}
print(set)
print()

print({"s1", "s2", "s3"})
print()

tuple = ("s1", "s2", "s3")
print(tuple)
print()

print(("s1", "s2", "s3"))

Testing functions

The following .theory code snippet creates a DFA, NFA and DTM variable and does various function calls and printing. The DFA accepts all words that end with '00' or '11', and the NFA accepts any word that has the substring '101' or '11' in it. The DTM accepts any input string with the same amount of 0s and 1s.

dfa = DFA(
  {'s0', "s1", 's2', "s3", "s4"}, 
  {"0", "1"}, 
  {"s0": {"0": "s3", "1": "s1"}, 
  "s1": {"0": "s3", "1": "s2"}, 
  "s2": {"0": "s3", "1": "s2"}, 
  "s3": {"0": "s4", "1": "s1"}, 
  "s4": {"0": "s4", "1": "s1"}}, 
  "s0", {"s2", "s4"}
)
print(dfa)
print()

dfa.save()
dfa.save('dfa_wordcheck.png', '1011')

print(dfa.definition())
print()

print(dfa.test('1011'))
print()

print(open("dfa.png"))

nfa = NFA(
    {"s0", "s1", "s2", "s3"}, 
    {"0", "1", ""}, 
    {"s0": {"0": {"s0"}, "1": {"s0", "s1"}}, 
    "s1": {"0": {"s2"}, "": {"s2"}}, 
    "s2": {"1": {"s3"}}, 
    "s3": {"0": {"s3"}, "1": {"s3"}}}, 
    "s0", 
    {"s3"}
)
print(nfa)
print()

nfa.save()
nfa.save('nfa_wordcheck.png', '11')

print(nfa.definition())
print()

print(nfa.test('100101001'))
print()

print(open("nfa.png"))

dtm = DTM(
    {'q0', 'q1', 'q2', 'q3', 'q4'},
    {'0', '1'},
    {'0', '1', 'x', 'y', '#'},
    {
        'q0': {
            '0': ('q1', 'x', 'R'),
            'y': ('q3', 'y', 'R')
        },
        'q1': {
            '0': ('q1', '0', 'R'),
            '1': ('q2', 'y', 'L'),
            'y': ('q1', 'y', 'R')
        },
        'q2': {
            '0': ('q2', '0', 'L'),
            'x': ('q0', 'x', 'R'),
            'y': ('q2', 'y', 'L')
        },
        'q3': {
            'y': ('q3', 'y', 'R'),
            '#': ('q4', '#', 'R')
        }
    },
    'q0',
    '#',
    {'q4'}
)

print(dtm)
print()

dtm.save()
dtm.save('dtm_wordcheck.png', '01')

print(dtm.definition())
print()

print(dtm.test('011'))
print()

print(open("dtm.png"))