]>
-rw-r--r-- | 4992 | auxiliary_machines.ma | blob | raw |
-rw-r--r-- | 9418 | auxiliary_machines1.ma | blob | raw |
-rw-r--r-- | 23376 | auxiliary_multi_machines.ma | blob | raw |
-rw-r--r-- | 21611 | basic_machines.ma | blob | raw |
-rw-r--r-- | 22888 | basic_multi_machines.ma | blob | raw |
-rw-r--r-- | 2531 | complexity.ma | blob | raw |
-rw-r--r-- | 20200 | if_machine.ma | blob | raw |
-rw-r--r-- | 20790 | if_multi.ma | blob | raw |
-rw-r--r-- | 6087 | inject.ma | blob | raw |
-rw-r--r-- | 25985 | mono.ma | blob | raw |
-rw-r--r-- | 11604 | move_char.ma | blob | raw |
drwxr-xr-x | - | multi_to_mono | tree |
drwxr-xr-x | - | multi_universal | tree |
-rw-r--r-- | 4196 | ntm.ma | blob | raw |
-rw-r--r-- | 3146 | oracle.ma | blob | raw |
-rw-r--r-- | 18785 | turing.ma | blob | raw |
-rw-r--r-- | 3743 | turing_old.ma | blob | raw |
-rw-r--r-- | 8253 | universal.ma | blob | raw |
-rw-r--r-- | 7432 | while_machine.ma | blob | raw |
-rw-r--r-- | 7674 | while_multi.ma | blob | raw |
-rw-r--r-- | 13554 | wmono.ma | blob | raw |