21 - 30 из 182Размер страницы: 10
Сортировать по:: Год публикации
  1. 2022

  2. Formal languages over GF(2)

    Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A. & Sazhneva, E., 1 фев 2022, в: Information and Computation. 283, 19 стр., 104672.

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

  3. 2021

  4. Deterministic One-Way Simulation of Two-Way Deterministic Finite Automata over Small Alphabets

    Geffert, V. & Okhotin, A., 30 дек 2021, Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings. Han, Y-S. & Ko, S-K. (ред.). Springer Nature, стр. 26-37 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13037 LNCS).

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

  5. State Complexity of Union and Intersection on Graph-Walking Automata

    Martynova, O. & Okhotin, A., 30 дек 2021, Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings. Han, Y-S. & Ko, S-K. (ред.). Springer Nature, стр. 125-136 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13037 LNCS).

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

  6. On the Length of Shortest Strings Accepted by Two-way Finite Automata

    Dobronravov, E., Dobronravov, N. & Okhotin, A., 30 июн 2021, в: Fundamenta Informaticae. 180, 4, стр. 315-331 17 стр.

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

  7. Input-Driven Pushdown Automata on Well-Nested Infinite Strings

    Okhotin, A. & Selivanov, V. L., июн 2021, Computer Science – Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Proceedings. Santhanam, R. & Musatov, D. (ред.). Springer Nature, стр. 349-360 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12730 LNCS).

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

  8. Lower bounds for graph-walking automata

    Martynova, O. & Okhotin, A., 1 мар 2021, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021. Blaser, M. & Monmege, B. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13 стр. 52. (Leibniz International Proceedings in Informatics, LIPIcs; том 187).

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

  9. Computational and Proof Complexity of Partial String Avoidability

    Itsykson, D., Okhotin, A. & Oparin, V., мар 2021, в: ACM Transactions on Computation Theory. 13, 1, 25 стр., 3442365.

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

  10. On Hardest Languages for One-Dimensional Cellular Automata

    Mrykhin, M. & Okhotin, A., фев 2021, Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (ред.). Springer Nature, стр. 118-130 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12638 LNCS).

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

  11. On the Transformation of Two-Way Deterministic Finite Automata to Unambiguous Finite Automata

    Петров, С. А. & Okhotin, A., фев 2021, Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (ред.). Springer Nature, стр. 81-93 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12638 LNCS).

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

  12. The Hardest LL(k) Language

    Mrykhin, M. & Okhotin, A., 2021, Developments in Language Theory - 25th International Conference, DLT 2021, Proceedings. Moreira, N. & Reis, R. (ред.). Springer Nature, стр. 304-315 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12811 LNCS).

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

Назад 1 2 3 4 5 6 7 8 ...19 Далее

ID: 195867