The following pages link to Jozef jun. Jirásek (Q1622989):
Displayed 12 items.
- Computational complexity of decision problems on self-verifying finite automata (Q1622990) (← links)
- (Q2163997) (redirect page) (← links)
- Visit-bounded stack automata (Q2163998) (← links)
- Kuratowski algebras generated by factor-, subword-, and suffix-free languages (Q2401002) (← links)
- Non-regular Maximal Prefix-Free Subsets of Regular Languages (Q2817391) (← links)
- Operations on Unambiguous Finite Automata (Q2817392) (← links)
- Kuratowski Algebras Generated by Prefix-Free Languages (Q2830215) (← links)
- Operations on Unambiguous Finite Automata (Q4683235) (← links)
- Space Complexity of Stack Automata Models (Q5041255) (← links)
- Kuratowski Algebras Generated by Prefix-, Suffix-, Factor-, and Subword-Free Languages Under Star and Complementation (Q5205044) (← links)
- Visit-bounded stack automata (Q6056625) (← links)
- Space Complexity of Stack Automata Models (Q6169902) (← links)