8 citations · 13 across the 14 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.FL2021
On LL(k) linear conjunctive grammars
Ilya Olkhovsky, Alexander Okhotin
Linear conjunctive grammars are a family of formal grammars with an explicit conjunction operation allowed in the rules, which is notable for its computational equivalence fo one-w…
cs.FL2021
Homomorphisms on graph-walking automata
Olga Martynova, Alexander Okhotin
Graph-walking automata (GWA) are a model for graph traversal using finite-state control: these automata move between the nodes of an input graph, following its edges. This paper in…
cs.FL2021
On the determinization of event-clock input-driven pushdown automata
Mizuhito Ogawa, Alexander Okhotin
Input-driven pushdown automata (also known as visibly pushdown automata and as nested word automata) are a subclass of deterministic pushdown automata and a superclass of the paren…