def dtm_table(name):
tmachine = Tmachine.query.filter_by(id=name)
for i in tmachine:
states_d = i.states
input_symbols_d = i.input_symbols
tape_symbols_d = i.tape_symbols
left_end_d = i.left_end
transitions_d = i.transitions
initial_state_d = i.initial_state
blank_symbol_d = i.blank_symbol
reject_state_d = i.reject_state
final_states_d = i.final_states
dtm = DTM(states=literal_eval(states_d),
input_symbols=literal_eval(input_symbols_d),
tape_symbols=literal_eval(tape_symbols_d),
left_end=left_end_d,
transitions=literal_eval(transitions_d),
initial_state=initial_state_d,
blank_symbol=blank_symbol_d,
reject_state=reject_state_d,
final_states=final_states_d)
dc = dtm.transitions
df = pd.DataFrame.from_dict(data=dc, orient='index')
df.fillna("( -, -, - )", inplace=True)
rows, columns = df.shape
reject_state = "( " + dtm.reject_state + ", -, - )"
final_state = "( " + dtm.final_states + ", -, - )"
z1 = []
z2 = []
for i in dtm.tape_symbols:
z2.append("( -, -, - )")
z1.append("( -, -, - )")
df1 = pd.DataFrame([z1],
index=[dtm.final_states],
columns=list(df.columns.values))
df2 = pd.DataFrame([z2],
index=[dtm.reject_state],
columns=list(df.columns.values))
df = df.append(df1)
df = df.append(df2)
return df, dtm.input_symbols
from turing_machine.dtm import DTM
dtm = DTM(
states = {'q0', 'q1', 'qacc', 'q2', 'q4', 'q3', 'qrej'},
input_symbols = {'1', '0'},
tape_symbols = {'1', '0', 'y', '>', '.', 'x'},
left_end = '>',
transitions = {'q0': {'>': ('q1', '>', 'R')}, 'q1': {'0': ('q2', 'x', 'R'), '1': ('qrej', '1', 'R'), 'y': ('q4', 'y', 'R')}, 'q2': {'0': ('q2', '0', 'R'), '1': ('q3', 'y', 'L'), 'y': ('q2', 'y', 'R')}, 'q3': {'0': ('q3', '0', 'L'), 'x': ('q1', 'x', 'R'), 'y': ('q3', 'y', 'L')}, 'q4': {'y': ('q4', 'y', 'R'), '1': ('qrej', '1', 'R'), '.': ('qacc', '.', 'R')}},
initial_state = 'q0',
blank_symbol = '.',
reject_state = 'qrej',
final_states = 'qacc'
)
def dtm():
form = MyForm()
if form.validate_on_submit():
tm = False
states = parser1.dict_parse(form.states.data)
states_dict = literal_eval(states)
input_s = parser1.dict_parse(form.input_symbols.data)
input_symbols_dict = literal_eval(input_s)
tape_s = parser1.dict_parse(form.tape_symbols.data)
tape_symbols_dict = literal_eval(tape_s)
initial_state_d = form.initial_state.data
if form.left_end.data:
left_end_d = form.left_end.data
else:
left_end_d = '>'
try:
transitions_d = literal_eval(form.prechody.data)
except:
transitions_d = {}
success_message = ("Neočakávaná chyba v prechodovej funkcii")
flash(success_message)
if form.blank_symbol.data:
blank_symbol_d = form.blank_symbol.data
else:
blank_symbol_d = '#'
reject_state_d = form.reject_state.data
final_states_d = form.final_states.data
try:
dtm = DTM(states=states_dict,
input_symbols=input_symbols_dict,
tape_symbols=tape_symbols_dict,
left_end=left_end_d,
transitions=transitions_d,
initial_state=initial_state_d,
blank_symbol=blank_symbol_d,
reject_state=reject_state_d,
final_states=final_states_d)
if dtm:
tm = True
except (exceptions.InvalidStateError, exceptions.InvalidSymbolError,
exceptions.MissingStateError, exceptions.MissingSymbolError,
exceptions.InitialStateError, exceptions.FinalStateError,
exceptions.RejectStateError, exceptions.LeftEndError,
exceptions.RejectionError,
exceptions.InvalidDirectionError) as err:
tm = False
success_message = (err)
flash(success_message)
if tm:
try:
tmachine = Tmachine(definicia=form.funkcia.data,
tm_d_n_x='dtm')
db.session.add(tmachine)
db.session.commit()
except exc.IntegrityError:
db.session().rollback()
tm = False
success_message = (
"Definícia/Názov TM už existuje prosím zvolte iný názov")
flash(success_message)
if tm:
db.session.add(tmachine)
db.session.commit()
name = str(tmachine.id)
with open("tm{}.py".format(name), "w") as text_file:
text_file.write(
"from turing_machine.dtm import DTM \ndtm = DTM("
"\nstates = {0}"
",\ninput_symbols = {1},"
"\ntape_symbols = {2},\nleft_end = '{3}',"
"\ntransitions = {4},"
"\ninitial_state = '{5}',\nblank_symbol = '{6}',"
"\nreject_state = '{7}', \nfinal_states = '{8}' \n)".
format(states_dict, input_symbols_dict, tape_symbols_dict,
left_end_d, transitions_d, initial_state_d,
blank_symbol_d, reject_state_d, final_states_d))
success_message = ('Nový DTM: ' + form.funkcia.data +
' je vytvorený')
flash(success_message)
return redirect(url_for('index'))
return render_template('dtm.html', title='DTM', form=form)
def dtm():
form = MyForm()
if form.validate_on_submit():
tm = False
states = parser1.dict_parse(form.states.data)
states_dict = literal_eval(states)
input_s = parser1.dict_parse(form.input_symbols.data)
input_symbols_dict = literal_eval(input_s)
tape_s = parser1.dict_parse(form.tape_symbols.data)
tape_symbols_dict = literal_eval(tape_s)
initial_state_d = form.initial_state.data
if form.left_end.data:
left_end_d = form.left_end.data
else:
left_end_d = '>'
try:
transitions_d = literal_eval(form.prechody.data)
except:
transitions_d = {}
success_message = ("Neočakávaná chyba v prechodovej funkcii")
flash(success_message)
if form.blank_symbol.data:
blank_symbol_d = form.blank_symbol.data
else:
blank_symbol_d = '#'
reject_state_d = form.reject_state.data
final_states_d = form.final_states.data
try:
dtm = DTM(
states = states_dict,
input_symbols= input_symbols_dict,
tape_symbols= tape_symbols_dict,
left_end = left_end_d,
transitions = transitions_d,
initial_state = initial_state_d,
blank_symbol = blank_symbol_d,
reject_state = reject_state_d,
final_states = final_states_d
)
if dtm:
tm = True
except(exceptions.InvalidStateError,exceptions.InvalidSymbolError,exceptions.MissingStateError,exceptions.MissingSymbolError,
exceptions.InitialStateError,exceptions.FinalStateError,exceptions.RejectStateError,exceptions.LeftEndError,
exceptions.RejectionError,exceptions.InvalidDirectionError) as err:
tm = False
success_message = (err)
flash(success_message)
if tm:
try:
tmachine = Tmachine(definicia= form.funkcia.data,tm_d_n_x='dtm',
states =states,input_symbols = input_s,
tape_symbols = tape_s,left_end = left_end_d,
transitions = form.prechody.data, initial_state = initial_state_d,
blank_symbol = blank_symbol_d,reject_state = reject_state_d,
final_states = final_states_d)
db.session.add(tmachine)
db.session.commit()
success_message = ('Nový DTM: '+form.funkcia.data+' je vytvorený')
flash(success_message)
return redirect(url_for('main.index'))
except exc.IntegrityError:
db.session().rollback()
tm = False
success_message = ("Definícia/Názov TM už existuje prosím zvolte iný názov")
flash(success_message)
return render_template('dtm.html', title='DTM', form=form)
def upload(file):
name = (file.readline()[:-2:]).decode("utf-8")
druh = (file.readline()[:-2:]).decode("utf-8")
states_u = (file.readline()[:-3:]).decode("utf-8")
input_symbols_u = (file.readline()[:-3:]).decode("utf-8")
tape_symbols_u = (file.readline()[:-3:]).decode("utf-8")
left_end_u = (file.readline()[:-3:]).decode("utf-8")
transitions_u = (file.readline()[:-3:]).decode("utf-8")
initial_state_u = (file.readline()[:-3:]).decode("utf-8")
blank_symbol_u = (file.readline()[:-3:]).decode("utf-8")
reject_state_u = (file.readline()[:-3:]).decode("utf-8")
final_states_u = (file.readline()[:-2:]).decode("utf-8")
if druh == 'DTM':
form = MyForm()
druh = 'dtm'
tm = False
try:
dtm = DTM(states=literal_eval(states_u),
input_symbols=literal_eval(input_symbols_u),
tape_symbols=literal_eval(tape_symbols_u),
left_end=literal_eval(left_end_u),
transitions=literal_eval(transitions_u),
initial_state=literal_eval(initial_state_u),
blank_symbol=literal_eval(blank_symbol_u),
reject_state=literal_eval(reject_state_u),
final_states=literal_eval(final_states_u))
if dtm:
tm = True
except (exceptions.InvalidStateError, exceptions.InvalidSymbolError,
exceptions.MissingStateError, exceptions.MissingSymbolError,
exceptions.InitialStateError, exceptions.FinalStateError,
exceptions.RejectStateError, exceptions.LeftEndError,
exceptions.RejectionError,
exceptions.InvalidDirectionError) as err:
tm = False
success_message = (err)
return success_message, druh
if tm:
try:
tmachine = Tmachine(
definicia=name,
tm_d_n_x='dtm',
states=states_u,
input_symbols=input_symbols_u,
tape_symbols=tape_symbols_u,
left_end=literal_eval(left_end_u),
transitions=transitions_u,
initial_state=literal_eval(initial_state_u),
blank_symbol=literal_eval(blank_symbol_u),
reject_state=literal_eval(reject_state_u),
final_states=literal_eval(final_states_u))
db.session.add(tmachine)
db.session.commit()
success_message = True
return success_message, druh
except exc.IntegrityError:
db.session().rollback()
tm = False
success_message = (
"Názov turingovho stroja už existuje prosím zvolte iný názov"
)
return success_message, druh
elif druh == 'NTM':
tm = False
try:
ntm = NTM(states=literal_eval(states_u),
input_symbols=literal_eval(input_symbols_u),
tape_symbols=literal_eval(tape_symbols_u),
left_end=literal_eval(left_end_u),
transitions=literal_eval(transitions_u),
initial_state=literal_eval(initial_state_u),
blank_symbol=literal_eval(blank_symbol_u),
reject_state=literal_eval(reject_state_u),
final_states=literal_eval(final_states_u))
if ntm:
tm = True
except (exceptions.InvalidStateError, exceptions.InvalidSymbolError,
exceptions.MissingStateError, exceptions.MissingSymbolError,
exceptions.InitialStateError, exceptions.FinalStateError,
exceptions.RejectStateError, exceptions.LeftEndError,
exceptions.RejectionError,
exceptions.InvalidDirectionError) as err:
tm = False
success_message = (err)
return success_message
if tm:
try:
tmachine = Tmachine(
definicia=name,
tm_d_n_x='ntm',
states=states_u,
input_symbols=input_symbols_u,
tape_symbols=tape_symbols_u,
left_end=literal_eval(left_end_u),
transitions=transitions_u,
initial_state=literal_eval(initial_state_u),
blank_symbol=literal_eval(blank_symbol_u),
reject_state=literal_eval(reject_state_u),
final_states=literal_eval(final_states_u))
db.session.add(tmachine)
db.session.commit()
success_message = True
return success_message, druh
except exc.IntegrityError:
db.session().rollback()
tm = False
success_message = (
"Názov turingovho stroja už existuje prosím zvolte iný názov"
)
return success_message, druh
elif druh == 'XDTM':
tm = False
try:
xdtm = XDTM(states=literal_eval(states_u),
input_symbols=literal_eval(input_symbols_u),
tape_symbols=literal_eval(tape_symbols_u),
left_end=literal_eval(left_end_u),
transitions=literal_eval(transitions_u),
initial_state=literal_eval(initial_state_u),
blank_symbol=literal_eval(blank_symbol_u),
reject_state=literal_eval(reject_state_u),
final_states=literal_eval(final_states_u))
if xdtm:
tm = True
except (exceptions.InvalidStateError, exceptions.InvalidSymbolError,
exceptions.MissingStateError, exceptions.MissingSymbolError,
exceptions.InitialStateError, exceptions.FinalStateError,
exceptions.RejectStateError, exceptions.LeftEndError,
exceptions.RejectionError,
exceptions.InvalidDirectionError) as err:
tm = False
success_message = (err)
return success_message
if tm:
try:
tmachine = Tmachine(
definicia=name,
tm_d_n_x='xtm',
states=states_u,
input_symbols=input_symbols_u,
tape_symbols=tape_symbols_u,
left_end=literal_eval(left_end_u),
transitions=transitions_u,
initial_state=literal_eval(initial_state_u),
blank_symbol=literal_eval(blank_symbol_u),
reject_state=literal_eval(reject_state_u),
final_states=literal_eval(final_states_u))
db.session.add(tmachine)
db.session.commit()
success_message = True
return success_message, druh
except exc.IntegrityError:
db.session().rollback()
tm = False
success_message = (
"Názov turingovho stroja už existuje prosím zvolte iný názov"
)
return success_message, druh
elif druh == 'XNTM':
pass
#### VIACPASKOVY NEDETERMINISCKY TM
else:
success_message = "Turingov stroj nebolo možné načítať"
druh = False
return success_message, druh
def dtm_table(name, vstup):
tmachine = Tmachine.query.filter_by(id=name)
for i in tmachine:
states_d = i.states
input_symbols_d = i.input_symbols
tape_symbols_d = i.tape_symbols
left_end_d = i.left_end
transitions_d = i.transitions
initial_state_d = i.initial_state
blank_symbol_d = i.blank_symbol
reject_state_d = i.reject_state
final_states_d = i.final_states
dtm = DTM(states=literal_eval(states_d),
input_symbols=literal_eval(input_symbols_d),
tape_symbols=literal_eval(tape_symbols_d),
left_end=left_end_d,
transitions=literal_eval(transitions_d),
initial_state=initial_state_d,
blank_symbol=blank_symbol_d,
reject_state=reject_state_d,
final_states=final_states_d)
dc = dtm.transitions
df = pd.DataFrame.from_dict(data=dc, orient='index')
df.fillna("( -, -, - )", inplace=True)
df = df.applymap(lambda x: change_dtm(x))
rows, columns = df.shape
reject_state = "( " + dtm.reject_state + ", -, - )"
final_state = "( " + dtm.final_states + ", -, - )"
z1 = []
z2 = []
for i in dtm.tape_symbols:
z2.append("( -, -, - )")
z1.append("( -, -, - )")
df1 = pd.DataFrame([z1],
index=[dtm.final_states],
columns=list(df.columns.values))
df2 = pd.DataFrame([z2],
index=[dtm.reject_state],
columns=list(df.columns.values))
df = df.append(df1)
df = df.append(df2)
generator = dtm.validate_input1(vstup, step=True)
list_of_table = []
list_of_tape = []
tape_index = []
tape_table = []
tape_index.append(dtm.left_end)
tape_table.append("")
for i in vstup:
tape_index.append(i)
tape_table.append("")
tape_index.append(dtm.blank_symbol)
tape_table.append("")
tape_table[0] = "^"
dl = pd.DataFrame(data=tape_table, index=tape_index)
dl.columns = [""]
dl = dl.T
list_of_tape.append(dl)
stroj = False
counter = 0
for current_state, tape_symbol, tape, direction, cycle in generator:
if dtm.final_states == current_state:
stroj = True
list_of_table.append(
df.style.applymap(color_red,
subset=pd.IndexSlice[current_state,
[tape_symbol]]))
tape_index = []
tape_table = []
if direction == 'R':
counter += 1
if direction == 'L':
counter -= 1
for i in tape:
tape_index.append(i)
tape_table.append("")
tape_index.append(dtm.blank_symbol)
tape_table.append("")
if len(tape) - 1 < counter:
tape_index.append(dtm.blank_symbol)
tape_table.append("")
tape_table[counter] = "^"
dl = pd.DataFrame(data=tape_table, index=tape_index)
dl.columns = [""]
dl = dl.T
list_of_tape.append(dl)
return df, list_of_table, stroj, list_of_tape, cycle