@article(CFY16, author = {Hiroyuki Chigahara and Szil{\'{a}}rd Zsolt Fazekas and Akihiro Yamamura}, year = {2016}, title = {One-Way Jumping Finite Automata}, journal = {Int. J. Found. Comput. Sci.}, volume = {27}, number = {3}, pages = {391}, doi = {10.1142/S0129054116400165}, ) @article(CockeM1964, author = {John Cocke and Marvin Minsky}, year = {1964}, title = {Universality of Tag Systems with $P = 2$}, journal = {Journal of the ACM}, volume = {11}, number = {1}, pages = {15--20}, doi = {10.1145/321203.321206}, ) @article(Cook2004, author = {Matthew Cook}, year = {2004}, title = {Universality in Elementary Cellular Automata}, journal = {Complex Systems}, volume = {15}, pages = {1--40}, doi = {10.25088/ComplexSystems.15.1.1}, ) @article(FMW22, author = {Szil{\'{a}}rd Zsolt Fazekas and Robert Mercas and Ol{\'{\i}}via Wu}, year = {2022}, title = {Complexities for Jumps and Sweeps}, journal = {J. Autom. Lang. Comb.}, volume = {27}, number = {1-3}, pages = {131--149}, doi = {10.25596/jalc-2022-131}, ) @inproceedings(GearyMSS2018, author = {Cody Geary and Pierre{-}\'{E}tienne Meunier and Nicolas Robertabanel and Shinnosuke Seki}, year = {2018}, title = {Proving the Turing Universality of Oritatami Co-Transcriptional Folding}, booktitle = {Proceedings of the 29th International Symposium on Algorithms and Computation (ISAAC 2018)}, series = {LIPIcs}, volume = {123}, pages = {23:1--23:13}, doi = {10.4230/LIPIcs.ISAAC.2018.23}, ) @article(HEMASPAANDRA2005163, author = {Lane A. Hemaspaandra and Proshanto Mukherji and Till Tantau}, year = {2005}, title = {Context-Free Languages Can Be Accepted with Absolutely No Space Overhead}, journal = {Information and Computation}, volume = {203}, number = {2}, pages = {163--180}, doi = {10.1016/j.ic.2005.05.005}, ) @article(Kahn, author = {A. B. Kahn}, year = {1962}, title = {Topological Sorting of Large Networks}, journal = {Commun. ACM}, volume = {5}, number = {11}, pages = {558–562}, doi = {10.1145/368996.369025}, ) @article(KMMP22, author = {Martin Kutrib and Andreas Malcher and Carlo Mereghetti and Beatrice Palano}, year = {2022}, title = {Descriptional Complexity of Iterated Uniform Finite-State Transducers}, journal = {Information and Computation}, volume = {284}, pages = {104691}, doi = {10.1016/j.ic.2021.104691}, note = {Selected Papers from DCFS 2019, the 21st International Conference on Descriptional Complexity of Formal Systems}, ) @inbook(Kutrib2018, author = {Martin Kutrib and Andreas Malcher and Matthias Wendlandt}, year = {2018}, title = {Queue Automata: Foundations and Developments}, pages = {385--431}, publisher = {Springer International Publishing}, address = {Cham}, doi = {10.1007/978-3-319-73216-9_19}, ) @article(LLV92, author = {Ming Li and Luc Longpr\'{e} and Paul Vit\'{a}nyi}, year = {1992}, title = {The Power of the Queue}, journal = {SIAM Journal on Computing}, volume = {21}, number = {4}, pages = {697--712}, doi = {10.1137/0221042}, ) @article(M15, author = {J. Andres Montoya}, year = {2015}, title = {Open Problems Related to Palindrome Recognition: Are There Open Problems Related to Palindrome Recognition?}, journal = {J. Autom. Lang. Comb.}, volume = {20}, number = {1}, pages = {5–25}, doi = {10.25596/jalc-2015-005}, ) @inproceedings(PchelinaSST2022, author = {Daria Pchelina and Nicolas Schabanel and Shinnosuke Seki and Guillaume Theyssier}, year = {2022}, title = {Oritatami Systems Assemble Shapes No Less Complex Than Tile Assembly Model ({aTAM})}, booktitle = {Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)}, series = {LIPIcs}, volume = {219}, pages = {51:1--51:23}, doi = {10.4230/LIPIcs.STACS.2022.51}, ) @article(pcp, author = {Emil L. Post}, year = {1946}, title = {A Variant of a Recursively Unsolvable Problem}, journal = {Bull. Amer. Math. Soc.}, volume = {52}, pages = {264--268}, doi = {10.1090/S0002-9904-1946-08555-9}, ) @article(Szpilrajn, author = {Edward Szpilrajn}, year = {1930}, title = {Sur l'extension de l'ordre partiel}, journal = {Fundamenta Mathematicae}, volume = {16}, pages = {386--389}, doi = {10.4064/fm-16-1-386-389}, ) @article(WattersSYLL2016, author = {Kyle E. Watters and Eric J. Strobel and Angela M. Yu and John T. Lis and Julius B. Lucks}, year = {2016}, title = {Cotranscriptional Folding of a Riboswitch at Nucleotide Resolution}, journal = {Nature Structural and Molecular Biology}, volume = {23}, number = {12}, pages = {1124--1131}, doi = {10.1038/nsmb.3316}, ) @article(YU89, author = {Sheng Yu}, year = {1989}, title = {A Pumping Lemma for Deterministic Context-Free Languages}, journal = {Information Processing Letters}, volume = {31}, number = {1}, pages = {47--51}, doi = {10.1016/0020-0190(89)90108-7}, ) @inproceedings(zaiontz1976, author = {Charles Zaiontz}, year = {1976}, title = {Circular Automata}, booktitle = {Proceedings of the 14th Annual Southeast Regional Conference (ACM-SE 14)}, pages = {350--354}, doi = {10.1145/503561.503635}, )