1. 2023
  2. Shortest Accepted Strings for Two-Way Finite Automata: Approaching the 2^n Lower Bound

    Мартынова, О. М. & Охотин, А. С., Jul 2023, Descriptional Complexity of Formal Systems - 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings. Lecture Notes in Computer Science ed. Springer Nature, Vol. 13918. p. 134-145 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  3. Non-closure under complementation for unambiguous linear grammars

    Мартынова, О. М. & Охотин, А. С., 1 Jun 2023, In: Information and Computation. 292, 105031.

    Research output: Contribution to journalArticlepeer-review

  4. The hardest language for grammars with context operators

    Мрыхин, М. К. & Охотин, А. С., 22 May 2023, In: Theoretical Computer Science. 958, 19 p., 113829.

    Research output: Contribution to journalArticlepeer-review

  5. On the Transformation of LL(k)-linear to LL(1)-linear Grammars

    Ольховский, И. С. & Охотин, А. С., 1 Apr 2023, In: Theory of Computing Systems. 67, 2, p. 234-262 29 p.

    Research output: Contribution to journalArticlepeer-review

  6. The Hardest LL(k) Language

    Мрыхин, М. К. & Охотин, А. С., Apr 2023, In: International Journal of Foundations of Computer Science. 34, 2&3, p. 289-319 31 p.

    Research output: Contribution to journalArticlepeer-review

  7. State complexity of transforming graph-walking automata to halting, returning and reversible

    Мартынова, О. М. & Охотин, А. С., 1 Mar 2023, In: Information and Computation. 291, 24 p., 105011.

    Research output: Contribution to journalArticlepeer-review

  8. State Complexity of GF(2)-Inverse and GF(2)-Star on Binary Languages

    Охотин, А. С. & Сажнева, Е. А., 2023, In: Journal of Automata, Languages and Combinatorics. 28, 1-3, p. 121-141 21 p.

    Research output: Contribution to journalArticlepeer-review

  9. 2022
  10. Homomorphisms on Graph-Walking Automata

    Martynova, O. & Okhotin, A., Jun 2022, Implementation and Application of Automata - 26th International Conference, CIAA 2022, Proceedings. Caron, P. & Mignot, L. (eds.). Springer Nature, p. 177-188 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13266 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  11. On the Determinization of Event-Clock Input-Driven Pushdown Automata

    Ogawa, M. & Okhotin, A., Jun 2022, Computer Science – Theory and Applications - 17th International Computer Science Symposium in Russia, CSR 2022, Proceedings. Kulikov, A. S. & Raskhodnikova, S. (eds.). Springer Nature, p. 256-268 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13296 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  12. Rational Index of Languages with Bounded Dimension of Parse Trees

    Shemetova, E., Okhotin, A. & Grigorev, S., May 2022, Developments in Language Theory - 26th International Conference, DLT 2022, Proceedings. Diekert, V. & Volkov, M. (eds.). Springer Nature, p. 263-273 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13257 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Previous 1 2 3 4 5 6 7 8 ...19 Next

ID: 195867