1. 2018
  2. Preface

    Shallit, J. & Okhotin, A., 1 апр 2018, в: Information and Computation. 259, стр. 161-161 1 стр.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статья

  3. Formal Languages over GF(2)

    Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A. & Sazhneva, E., 1 янв 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature, стр. 68-79 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10792 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  4. Further closure properties of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 1 янв 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Springer Nature, стр. 224-236 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10952 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  5. On the number of nonterminal symbols in unambiguous conjunctive grammars

    Jez, A. & Okhotin, A., 1 янв 2018, в: Fundamenta Informaticae. 162, 1, стр. 43-72 30 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  6. State complexity of unambiguous operations on deterministic finite automata

    Jirásková, G. & Okhotin, A., 1 янв 2018, Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Proceedings. Springer Nature, стр. 188-199 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10952 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  7. Towards Exact State Complexity Bounds for Input-Driven Pushdown Automata

    Jirásková, G. & Okhotin, A., 1 янв 2018, Developments in Language Theory - 22nd International Conference, DLT 2018, Proceedings. Hoshi, M. & Seki, S. (ред.). Springer Nature, стр. 441-452 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11088 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  8. Underlying Principles and Recurring Ideas of Formal Grammars

    Okhotin, A., 1 янв 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature, стр. 36-59 24 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10792 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  9. 2017
  10. Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts

    Barash, M. & Okhotin, A., 1 авг 2017, в: Theory of Computing Systems. 61, 2, стр. 581-605 25 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  11. On the state complexity of operations on two-way finite automata

    Jirásková, G. & Okhotin, A., 1 апр 2017, в: Information and Computation. 253, 1, стр. 36-63 28 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  12. Conjunctive categorial grammars

    Kuznetsov, S. & Okhotin, A., 2017, Proceedings of the 15th Meeting on the Mathematics of Language: MOL 2017, London, UK, July 13-14, 2017. Kanazawa, M., de Groote, P. & Sadrzadeh, M. (ред.). Association for Computational Linguistics

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

ID: 195867