1. 2025
  2. On the expressive power of categorial grammars with unique category assignment

    Вишникин, М. Е. & Охотин, А. С., 1 ноя 2025, в: Journal of Logic, Language and Information. 34, 5, стр. 635–664 30 стр.

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

  3. Decision problems for systems of language equations and inequations

    Охотин, А. С., ноя 2025, в: Information and Computation. 307, 18 стр., 105344.

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

  4. A Hierarchy of Reversible Finite Automata

    Радионова, М. А. & Охотин, А. С., 22 авг 2025, Implementation and Application of Automata: 29th International Conference, CIAA 2025, Palermo, Italy, September 22–25, 2025, Proceedings. Castiglione, G. & Mantaci, S. (ред.). Springer Nature, стр. 316–329 14 стр. (Lecture Notes in Computer Science; том 15981).

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

  5. From regular expressions to deterministic finite automata: 2^{\frac{n}{2}+\sqrt{n}(\log n)^{\Theta(1)}} states are necessary and sufficient

    Мартынова, О. М. & Охотин, А. С., 22 авг 2025, Implementation and Application of Automata: 29th International Conference, CIAA 2025, Palermo, Italy, September 22–25, 2025, Proceedings. Castiglione, G. & Mantaci, S. (ред.). Springer Nature, стр. 267–280 14 стр. (Lecture Notes in Computer Science; том 15981 LNCS).

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

  6. Simulating Two-Way Nondeterministic Finite Automata Over Small Alphabets by One-Way Nondeterministic Automata

    Geffert, V. & Охотин, А. С., 22 авг 2025, Implementation and Application of Automata: 29th International Conference, CIAA 2025, Palermo, Italy, September 22–25, 2025, Proceedings. Castiglione, G. & Mantaci, S. (ред.). Springer Nature, стр. 180–192 13 стр. (Lecture Notes in Computer Science; том 15981 LNCS).

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

  7. On the Transformation of Two-Way Nondeterministic Finite Automata to Unambiguous Finite Automata

    Петров, С. А. & Охотин, А. С., 16 авг 2025, Developments in Language Theory: 29th International Conference, DLT 2025, Seoul, South Korea, August 19–22, 2025, Proceedings. Ko, S-K. & Manea, F. (ред.). Springer Nature, стр. 107–122 16 стр. (Lecture Notes in Computer Science; том 16036 LNCS).

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

  8. Nondeterministic tree-walking automata are not closed under complementation

    Мартынова, О. М. & Охотин, А. С., 30 июн 2025, 52nd International Colloquium on Automata, Languages, and Programming. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17 стр. 168. (Leibniz International Proceedings in Informatics (LIPIcs); том 334).

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

  9. Probabilistic input-driven pushdown automata

    Розе, А. Н. & Охотин, А. С., июн 2025, в: Information and Computation. 305, 16 стр., 105312.

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

  10. A parallel algorithm for counting parse trees

    Михельсон, М. Н. & Охотин, А. С., 1 мар 2025, в: Information and Computation. 303, 19 стр., 105237.

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

  11. 2024
  12. Decision problems for reversible and permutation automata

    Радионова, М. А. & Охотин, А. С., сен 2024, Implementation and Application of Automata: 28th International Conference, CIAA 2024, Akita, Japan, September 3–6, 2024, Proceedings. Fazekas, S. (ред.). Springer Nature, стр. 302–315 14 стр. (Lecture Notes in Computer Science; том 15015).

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

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

ID: 195867