Atempt to make TaskX06
This commit is contained in:
parent
d6a2b710c4
commit
d8888e6c41
@ -47,8 +47,8 @@ for line in sys.stdin:
|
|||||||
state_move.add((int(move.group(1)), node, int(move.group(2))))
|
state_move.add((int(move.group(1)), node, int(move.group(2))))
|
||||||
if succes:
|
if succes:
|
||||||
accept_states.add(int(line))
|
accept_states.add(int(line))
|
||||||
print('Moves: {state_move}'.format(state_move = state_move))
|
#print('Moves: {state_move}'.format(state_move = state_move))
|
||||||
print('Accept states: {accept_states}'.format(accept_states = accept_states))
|
#print('Accept states: {accept_states}'.format(accept_states = accept_states))
|
||||||
|
|
||||||
vis = dfs(state_move, 0)
|
vis = dfs(state_move, 0)
|
||||||
if -1 in vis:
|
if -1 in vis:
|
||||||
|
7
TaskX06/Makefile
Normal file
7
TaskX06/Makefile
Normal file
@ -0,0 +1,7 @@
|
|||||||
|
|
||||||
|
BINARIES += TaskX06/zerotoone.far
|
||||||
|
|
||||||
|
TaskX06/run: TaskX06/zerotoone.far
|
||||||
|
|
||||||
|
TaskX06/legiatolech.far: TaskX06/zerotoone.grm
|
||||||
|
LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:/usr/lib/fst" thraxcompiler --input_grammar=$< --output_far=$@
|
3
TaskX06/run
Normal file
3
TaskX06/run
Normal file
@ -0,0 +1,3 @@
|
|||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
LD_LIBRARY_PATH="$LD_LIBRARY_PATH:/usr/lib/fst" thraxrewrite-tester --far=TaskX06/zerotoone.far --rules=PROCESS
|
39
TaskX06/zerotoone.grm
Normal file
39
TaskX06/zerotoone.grm
Normal file
@ -0,0 +1,39 @@
|
|||||||
|
|
||||||
|
# Zamiana zera na jeden i jeden na zero
|
||||||
|
digits = ("0" : "1") | ("1" : "0") | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9";
|
||||||
|
|
||||||
|
zero_to_one = digits;
|
||||||
|
|
||||||
|
# Wszystkie możliwe znaki, niestety nie ma (?) prostszego sposobu.
|
||||||
|
# Zauważmy, że polskie znaki diakrytyczne będą reprezentowane
|
||||||
|
# tak naprawdę jako dwuznaki, nie stanowi to jednak problemu.
|
||||||
|
allChars = Optimize[
|
||||||
|
"[1]" | "[2]" | "[3]" | "[4]" | "[5]" | "[6]" | "[7]" | "[8]" | "[9]" | "[10]" |
|
||||||
|
"[11]" | "[12]" | "[13]" | "[14]" | "[15]" | "[16]" | "[17]" | "[18]" | "[19]" | "[20]" |
|
||||||
|
"[21]" | "[22]" | "[23]" | "[24]" | "[25]" | "[26]" | "[27]" | "[28]" | "[29]" | "[30]" |
|
||||||
|
"[31]" | "[32]" | "[33]" | "[34]" | "[35]" | "[36]" | "[37]" | "[38]" | "[39]" | "[40]" |
|
||||||
|
"[41]" | "[42]" | "[43]" | "[44]" | "[45]" | "[46]" | "[47]" | "[48]" | "[49]" | "[50]" |
|
||||||
|
"[51]" | "[52]" | "[53]" | "[54]" | "[55]" | "[56]" | "[57]" | "[58]" | "[59]" | "[60]" |
|
||||||
|
"[61]" | "[62]" | "[63]" | "[64]" | "[65]" | "[66]" | "[67]" | "[68]" | "[69]" | "[70]" |
|
||||||
|
"[71]" | "[72]" | "[73]" | "[74]" | "[75]" | "[76]" | "[77]" | "[78]" | "[79]" | "[80]" |
|
||||||
|
"[81]" | "[82]" | "[83]" | "[84]" | "[85]" | "[86]" | "[87]" | "[88]" | "[89]" | "[90]" |
|
||||||
|
"[91]" | "[92]" | "[93]" | "[94]" | "[95]" | "[96]" | "[97]" | "[98]" | "[99]" | "[100]" |
|
||||||
|
"[101]" | "[102]" | "[103]" | "[104]" | "[105]" | "[106]" | "[107]" | "[108]" | "[109]" | "[110]" |
|
||||||
|
"[111]" | "[112]" | "[113]" | "[114]" | "[115]" | "[116]" | "[117]" | "[118]" | "[119]" | "[120]" |
|
||||||
|
"[121]" | "[122]" | "[123]" | "[124]" | "[125]" | "[126]" | "[127]" | "[128]" | "[129]" | "[130]" |
|
||||||
|
"[131]" | "[132]" | "[133]" | "[134]" | "[135]" | "[136]" | "[137]" | "[138]" | "[139]" | "[140]" |
|
||||||
|
"[141]" | "[142]" | "[143]" | "[144]" | "[145]" | "[146]" | "[147]" | "[148]" | "[149]" | "[150]" |
|
||||||
|
"[151]" | "[152]" | "[153]" | "[154]" | "[155]" | "[156]" | "[157]" | "[158]" | "[159]" | "[160]" |
|
||||||
|
"[161]" | "[162]" | "[163]" | "[164]" | "[165]" | "[166]" | "[167]" | "[168]" | "[169]" | "[170]" |
|
||||||
|
"[171]" | "[172]" | "[173]" | "[174]" | "[175]" | "[176]" | "[177]" | "[178]" | "[179]" | "[180]" |
|
||||||
|
"[181]" | "[182]" | "[183]" | "[184]" | "[185]" | "[186]" | "[187]" | "[188]" | "[189]" | "[190]" |
|
||||||
|
"[191]" | "[192]" | "[193]" | "[194]" | "[195]" | "[196]" | "[197]" | "[198]" | "[199]" | "[200]" |
|
||||||
|
"[201]" | "[202]" | "[203]" | "[204]" | "[205]" | "[206]" | "[207]" | "[208]" | "[209]" | "[210]" |
|
||||||
|
"[211]" | "[212]" | "[213]" | "[214]" | "[215]" | "[216]" | "[217]" | "[218]" | "[219]" | "[220]" |
|
||||||
|
"[221]" | "[222]" | "[223]" | "[224]" | "[225]" | "[226]" | "[227]" | "[228]" | "[229]" | "[230]" |
|
||||||
|
"[231]" | "[232]" | "[233]" | "[234]" | "[235]" | "[236]" | "[237]" | "[238]" | "[239]" | "[240]" |
|
||||||
|
"[241]" | "[242]" | "[243]" | "[244]" | "[245]" | "[246]" | "[247]" | "[248]" | "[249]" | "[250]" |
|
||||||
|
"[251]" | "[252]" | "[253]" | "[254]" | "[255]"
|
||||||
|
];
|
||||||
|
|
||||||
|
export PROCESS = Optimize[CDRewrite[zero_to_one, "", "", allChars*]];
|
Loading…
Reference in New Issue
Block a user