Martin Kutrib
- On some Open Problems for Finite Automata with Translucent Input Letters
2026/06/25 by Martin Kutrib, Andreas Malcher, Matthias Wendlandt · 1 voice
Biochemistry, Genetics and Molecular Biology · Computer Science · #Automaton #Closure (psychology) #DNA and Biological Computing #Decidability #Deterministic automaton #Deterministic finite automaton #Formal Methods in Verification #Homomorphism #Nested word #Nondeterministic algorithm #Nondeterministic finite automaton #cs.FL #semigroups and automata theory
- Proceedings of the 16th International Workshop on Non-Classical Models of Automata and Applications
2026/06/24 by Cezar Câmpeanu, Martin Kutrib, Sylvain Lombardy · 1 voice
Computer Science · #cs.FL