Alexander
Okhotin
dosentti, matematiikan ja tilastotieteen laitos
Ota yhteyttä
Julkaisut
Descriptional complexity of unambiguous input-driven pushdown automata (2015)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
On language equations with concatenation and various sets of boolean operations.. (2015)
RAIRO: Informatique Théorique et Applications / RAIRO: Theoretical Informatics and Applications
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Two-sided context specifications in formal grammars (2015)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Generalized LR Parsing for Grammars with Contexts (2015)
Computer science symposium in Russia, Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
On the determinization blowup for finite automata recognizing equal-length languages (2014)
(Vertaisarvioitu artikkeli kokoomateoksessa (A3))Parsing by matrix multiplication generalized to Boolean grammars (2014)
Theoretical Computer Science
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Linear grammars with one-sided contexts and their automaton representation (2014)
International symposium on latin american theoretical informatics, Lecture Notes in Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Computational completeness of equations over sets of natural numbers (2014)
Information and Computation
(Vertaisarvioitu alkuperäisartikkeli tai data-artikkeli tieteellisessä aikakauslehdessä (A1))
Grammars with two-sided contexts (2014)
Automata and Formal Languages, Electronic Proceedings in Theoretical Computer Science
(Vertaisarvioitu artikkeli konferenssijulkaisussa (A4))
Input-driven pushdown automata with limited nondeterminism (2014)
International conference on developments in language theory
(Vertaisarvioimaton konferenssijulkaisu (B3))