Natalie Schluter. Restarting automata with auxiliary symbols restricted by lookahead size. Int. J. Comput. Math., 92(5):908-938, 2015. [doi]
@article{Schluter15, title = {Restarting automata with auxiliary symbols restricted by lookahead size}, author = {Natalie Schluter}, year = {2015}, doi = {10.1080/00207160.2014.926005}, url = {http://dx.doi.org/10.1080/00207160.2014.926005}, researchr = {https://researchr.org/publication/Schluter15}, cites = {0}, citedby = {0}, journal = {Int. J. Comput. Math.}, volume = {92}, number = {5}, pages = {908-938}, }