File Mode Size
Addition_of_Ostrowski-a_representations_is_a_function_(ie,_there_is_an_output_for_every_input)_sub.autfilt.ba -rw-r--r-- 2.1 KB
Addition_of_Ostrowski-a_representations_is_a_function_(ie,_there_is_an_output_for_every_input)_sup.autfilt.ba -rw-r--r-- 35.6 KB
All_Sturmian_words_contain_cubes_sub.autfilt.ba -rw-r--r-- 96 bytes
All_Sturmian_words_contain_cubes_sup.autfilt.ba -rw-r--r-- 977 bytes
All_Sturmian_words_start_with_arbitrarily_long_squares_sub.autfilt.ba -rw-r--r-- 516 bytes
All_Sturmian_words_start_with_arbitrarily_long_squares_sup.autfilt.ba -rw-r--r-- 1.0 KB
All_factors_of_Sturmian_words_are_recurrent_sub.autfilt.ba -rw-r--r-- 4.4 KB
All_factors_of_Sturmian_words_are_recurrent_sup.autfilt.ba -rw-r--r-- 2.9 KB
All_natural_numbers_other_than_0_have_a_predecessor_sub.autfilt.ba -rw-r--r-- 463 bytes
All_natural_numbers_other_than_0_have_a_predecessor_sup.autfilt.aligned.ba -rw-r--r-- 2.1 KB
Specal_factors_are_unique_sub.autfilt.ba -rw-r--r-- 34.7 KB
Specal_factors_are_unique_sup.autfilt.aligned.ba -rw-r--r-- 580 bytes
Sturmian_words_start_with_arbitarily_long_palindromes_sub.autfilt.ba -rw-r--r-- 516 bytes
Sturmian_words_start_with_arbitarily_long_palindromes_sup.autfilt.ba -rw-r--r-- 1.9 KB
Sucessors_are_unique_sub.autfilt.ba -rw-r--r-- 1.7 KB
Sucessors_are_unique_sup.autfilt.aligned.ba -rw-r--r-- 580 bytes
The_lazy_Ostrowski_representation_is_unique_sub.autfilt.ba -rw-r--r-- 6.5 KB
The_lazy_Ostrowski_representation_is_unique_sup.autfilt.ba -rw-r--r-- 60.5 KB
concur11A.ba -rw-r--r-- 89 bytes
concur11B.ba -rw-r--r-- 110 bytes
dead-statesA.ba -rw-r--r-- 41 bytes
dead-statesB.ba -rw-r--r-- 41 bytes
empty-into-emptyA.ba -rw-r--r-- 163 bytes
empty-into-emptyB.ba -rw-r--r-- 163 bytes
empty-into-somethingA.ba -rw-r--r-- 14 bytes
empty-into-somethingB.ba -rw-r--r-- 20 bytes
identity2A.ba -rw-r--r-- 29 bytes
identity2B.ba -rw-r--r-- 38 bytes
identityA.ba -rw-r--r-- 33 bytes
identityB.ba -rw-r--r-- 33 bytes
petersonA.ba -rw-r--r-- 1022 bytes
petersonB.ba -rw-r--r-- 1.0 KB
philsV2A.ba -rw-r--r-- 22.1 KB
philsV2B.ba -rw-r--r-- 9.7 KB
philsV3A.ba -rw-r--r-- 21.3 KB
philsV3B.ba -rw-r--r-- 9.7 KB
something-into-emptyA.ba -rw-r--r-- 20 bytes
something-into-emptyB.ba -rw-r--r-- 8 bytes
thesisA.ba -rw-r--r-- 38 bytes
thesisB.ba -rw-r--r-- 21 bytes

back to top