This project focuses on Formal Languages and Automata Theory and implements various types of finite automata and related algorithms. It showcases the use of theoretical computer science principles ...

The collective behavior of finite state stochastic automata is considered, which is of interest in view of the possibility of modeling group behavior of subjects in terms of these automata. The ...

These questions are known as, respectively, the non-deterministic and the alternating Rabin-Mostowski index problems. Whether they can be answered effectively is a long-standing open problem, solved ...