]>
-rw-r--r-- | 10730 | basic_machines.ma | blob | raw |
-rw-r--r-- | 2439 | complexity.ma | blob | raw |
-rw-r--r-- | 14278 | if_machine.ma | blob | raw |
-rw-r--r-- | 20259 | mono.ma | blob | raw |
-rw-r--r-- | 11632 | move_char.ma | blob | raw |
-rw-r--r-- | 4134 | ntm.ma | blob | raw |
-rw-r--r-- | 3050 | oracle.ma | blob | raw |
-rw-r--r-- | 6602 | turing.ma | blob | raw |
-rw-r--r-- | 3769 | turing_old.ma | blob | raw |
-rw-r--r-- | 8216 | universal.ma | blob | raw |
drwxr-xr-x | - | universal | tree |
-rw-r--r-- | 7430 | while_machine.ma | blob | raw |
-rw-r--r-- | 13451 | wmono.ma | blob | raw |