Skip to content

Commit

Permalink
Update example DFAs
Browse files Browse the repository at this point in the history
  • Loading branch information
CMDJojo committed Feb 4, 2024
1 parent 31ecf7a commit a1f8402
Show file tree
Hide file tree
Showing 10 changed files with 17 additions and 15 deletions.
Binary file modified dandy/benches/example_dfas/dfa0.txt
Binary file not shown.
Binary file modified dandy/benches/example_dfas/dfa1.txt
Binary file not shown.
7 changes: 2 additions & 5 deletions dandy/benches/example_dfas/dfa2.txt
Original file line number Diff line number Diff line change
@@ -1,5 +1,2 @@
o i l t z p n v u f y x q c b m r a d g h j s e w k
* 8:🕴$%\ 8:🕴$%\ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø 8:🕴$%\ 8:🕴$%\ .9A"!|f‮;ø .9A"!|f‮;ø 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ ‚*G”¥:O$Š?"*⌔Ѩ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ ‚*G”¥:O$Š?"*⌔Ѩ .9A"!|f‮;ø 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 8:🕴$%\ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø 8:🕴$%\ ‚*G”¥:O$Š?"*⌔Ѩ ‚*G”¥:O$Š?"*⌔Ѩ
→ ‚*G”¥:O$Š?"*⌔Ѩ .9A"!|f‮;ø ‚*G”¥:O$Š?"*⌔Ѩ 8:🕴$%\ .9A"!|f‮;ø ‚*G”¥:O$Š?"*⌔Ѩ ‚*G”¥:O$Š?"*⌔Ѩ 8:🕴$%\ 8:🕴$%\ 8:🕴$%\ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ ‚*G”¥:O$Š?"*⌔Ѩ .9A"!|f‮;ø 8:🕴$%\ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ ‚*G”¥:O$Š?"*⌔Ѩ 8:🕴$%\ 8:🕴$%\ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ ‚*G”¥:O$Š?"*⌔Ѩ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø ‚*G”¥:O$Š?"*⌔Ѩ .9A"!|f‮;ø 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø
.9A"!|f‮;ø ‚*G”¥:O$Š?"*⌔Ѩ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø ‚*G”¥:O$Š?"*⌔Ѩ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 8:🕴$%\ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 8:🕴$%\ ‚*G”¥:O$Š?"*⌔Ѩ .9A"!|f‮;ø 8:🕴$%\ .9A"!|f‮;ø 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø .9A"!|f‮;ø .9A"!|f‮;ø 8:🕴$%\ ‚*G”¥:O$Š?"*⌔Ѩ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø .9A"!|f‮;ø ‚*G”¥:O$Š?"*⌔Ѩ .9A"!|f‮;ø 8:🕴$%\
🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø .9A"!|f‮;ø .9A"!|f‮;ø 8:🕴$%\ 8:🕴$%\ ‚*G”¥:O$Š?"*⌔Ѩ 8:🕴$%\ 8:🕴$%\ ‚*G”¥:O$Š?"*⌔Ѩ .9A"!|f‮;ø 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ ‚*G”¥:O$Š?"*⌔Ѩ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 8:🕴$%\ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ .9A"!|f‮;ø 8:🕴$%\ .9A"!|f‮;ø 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 8:🕴$%\ 8:🕴$%\ 8:🕴$%\ 🕴*Ѩ\𼣙'‭‮$`”.Ѩ“?\.ேᩁ;X¥/~ 8:🕴$%\ .9A"!|f‮;ø
e b a d c f
→ * tlkk tlkk tlkk tlkk tlkk tlkk tlkk
Binary file modified dandy/benches/example_dfas/dfa3.txt
Binary file not shown.
Binary file modified dandy/benches/example_dfas/dfa4.txt
Binary file not shown.
Binary file modified dandy/benches/example_dfas/dfa5.txt
Binary file not shown.
Binary file modified dandy/benches/example_dfas/dfa6.txt
Binary file not shown.
Binary file modified dandy/benches/example_dfas/dfa7.txt
Binary file not shown.
25 changes: 15 additions & 10 deletions dandy/benches/example_dfas/dfa8.txt
Original file line number Diff line number Diff line change
@@ -1,10 +1,15 @@
b p f j c y m x g a r n e l s o k i q h w v t u d z
LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ b Ù `A3`äy lˆ‭&‮/⩕�$i lˆ‭&‮/⩕�$i |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ Ù lˆ‭&‮/⩕�$i Ù b b nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ n<%›"ÉT|P `A3`äy LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ Ù nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ `A3`äy |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ b `A3`äy `A3`äy LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇
Ù `A3`äy nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ b Ù `A3`äy |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ Ðn‚—<‗​⁒|dzS:\ b Ù LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ Ðn‚—<‗​⁒|dzS:\ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ Ù Ù b LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ Ðn‚—<‗​⁒|dzS:\ lˆ‭&‮/⩕�$i b b LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ n<%›"ÉT|P nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ
* `A3`äy nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ `A3`äy Ù Ðn‚—<‗​⁒|dzS:\ Ù |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ Ù Ù b LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ Ðn‚—<‗​⁒|dzS:\ `A3`äy Ðn‚—<‗​⁒|dzS:\ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ lˆ‭&‮/⩕�$i b |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ lˆ‭&‮/⩕�$i Ðn‚—<‗​⁒|dzS:\ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ n<%›"ÉT|P `A3`äy lˆ‭&‮/⩕�$i b Ðn‚—<‗​⁒|dzS:\ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨
→ Ðn‚—<‗​⁒|dzS:\ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ `A3`äy lˆ‭&‮/⩕�$i Ðn‚—<‗​⁒|dzS:\ b |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ Ù b n<%›"ÉT|P nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ n<%›"ÉT|P Ù lˆ‭&‮/⩕�$i LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ lˆ‭&‮/⩕�$i nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ n<%›"ÉT|P
* b nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ Ù LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ Ðn‚—<‗​⁒|dzS:\ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ b |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ `A3`äy |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ Ù lˆ‭&‮/⩕�$i `A3`äy lˆ‭&‮/⩕�$i Ðn‚—<‗​⁒|dzS:\ Ù lˆ‭&‮/⩕�$i LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ lˆ‭&‮/⩕�$i LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ n<%›"ÉT|P lˆ‭&‮/⩕�$i |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ `A3`äy
lˆ‭&‮/⩕�$i b n<%›"ÉT|P `A3`äy LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ Ù |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ b Ù `A3`äy Ðn‚—<‗​⁒|dzS:\ Ù b Ù nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ Ù |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ Ðn‚—<‗​⁒|dzS:\ Ù |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ n<%›"ÉT|P lˆ‭&‮/⩕�$i |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨
* |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ Ðn‚—<‗​⁒|dzS:\ lˆ‭&‮/⩕�$i b `A3`äy Ù b LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ Ù Ðn‚—<‗​⁒|dzS:\ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ `A3`äy LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ n<%›"ÉT|P LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ lˆ‭&‮/⩕�$i LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ Ðn‚—<‗​⁒|dzS:\ Ðn‚—<‗​⁒|dzS:\ Ðn‚—<‗​⁒|dzS:\
* nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ Ù lˆ‭&‮/⩕�$i LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ Ù n<%›"ÉT|P Ðn‚—<‗​⁒|dzS:\ Ù LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ lˆ‭&‮/⩕�$i lˆ‭&‮/⩕�$i n<%›"ÉT|P b `A3`äy Ù |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ Ðn‚—<‗​⁒|dzS:\ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ n<%›"ÉT|P lˆ‭&‮/⩕�$i nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ lˆ‭&‮/⩕�$i lˆ‭&‮/⩕�$i Ðn‚—<‗​⁒|dzS:\ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ Ù lˆ‭&‮/⩕�$i
* n<%›"ÉT|P |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ b Ðn‚—<‗​⁒|dzS:\ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ `A3`äy lˆ‭&‮/⩕�$i lˆ‭&‮/⩕�$i LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ b LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ b |*]a|"¥Jd!L$oⰼ񭳞$𨗸‘?.‑‌⒨ n<%›"ÉT|P Ù Ðn‚—<‗​⁒|dzS:\ Ù nÂjᾷ⁀~Rƒ@©H<*•k’ˆ\'xᣏ b lˆ‭&‮/⩕�$i Ù lˆ‭&‮/⩕�$i Ðn‚—<‗​⁒|dzS:\ LF⁊‬.U6~k.=db!pѨ'ឃ^=:ᚶ‮!¥U\%๳⁇ Ù Ù
c d f e a b
bka vebi nfl otaxk otaxk wxl nfl
nfl vebi yvyhsd dzc zyjafv wxl qrxerd
* ajupuu lgzifd ajupuu qrxerd wxl wxl usa
* vebi qrxerd bka kymbq wxl usa yvyhsd
* qrxerd yvyhsd nfl bka dzc wxl dzc
→ * kymbq usa tebyp vebi otaxk otaxk usa
tebyp qrxerd qrxerd zyjafv bka dzc lgzifd
usa bka dzc lgzifd tebyp dzc yvyhsd
* lgzifd bka vebi tebyp wxl qrxerd dzc
* zyjafv vebi kymbq bka usa nfl ajupuu
yvyhsd bka bka vebi tebyp nfl vebi
* otaxk usa otaxk lgzifd kymbq lgzifd bka
wxl usa usa otaxk zyjafv lgzifd bka
* dzc yvyhsd zyjafv ajupuu yvyhsd usa usa
Binary file modified dandy/benches/example_dfas/dfa9.txt
Binary file not shown.

0 comments on commit a1f8402

Please sign in to comment.