×

Found 4,612 Documents (Results 1–100)

100
MathJax

The isomorphism problem for FST injection structures. (English) Zbl 07551709

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 25-36 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Abelian networks IV. Dynamics of nonhalting networks. (English) Zbl 1485.05074

Memoirs of the American Mathematical Society 1358. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5141-7/pbk; 978-1-4704-7024-1/ebook). vii, 89 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 07530222

Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021).
MSC:  68Q85 68N19 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Automata model for verifying attibuted-based access control policy in systems with a finite number of objects. (English. Russian original) Zbl 07514311

Mosc. Univ. Math. Bull. 76, No. 5, 230-233 (2021); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57-60 (2021).
MSC:  68M25 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Learning probabilistic automata using residuals. (English) Zbl 07500650

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 295-313 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

State complexity of projection on languages recognized by permutation automata and commuting letters. (English) Zbl 07498726

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 192-203 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Obfuscating finite automata. (English) Zbl 1485.94087

Dunkelman, Orr (ed.) et al., Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12804, 90-114 (2021).
MSC:  94A60 68Q32
PDF BibTeX XML Cite
Full Text: DOI

Complexity and categoricity of injection structures induced by finite state transducers. (English) Zbl 07495160

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 106-119 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

State complexity of permutation and related decision problems on alphabetical pattern constraints. (English) Zbl 07495109

Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 115-126 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

A string diagrammatic axiomatisation of finite-state automata. (English) Zbl 07410439

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 469-489 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Nondeterministic and co-nondeterministic implies deterministic, for data languages. (English) Zbl 07410434

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 365-384 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

State complexity of the set of synchronizing words for circular automata and automata over binary alphabets. (English) Zbl 07405997

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 318-330 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Completely reachable automata, primitive groups and the state complexity of the set of synchronizing words. (English) Zbl 07405996

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 305-317 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Usefulness of information and unary languages. (English) Zbl 07405983

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 131-142 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

On the transformation of two-way deterministic finite automata to unambiguous finite automata. (English) Zbl 07405979

Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 81-93 (2021).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Synthesizing context-free grammars from recurrent neural networks. (English) Zbl 1467.68077

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 351-369 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian. (English. Russian original) Zbl 1478.20029

Russ. Math. Surv. 76, No. 1, 1-27 (2021); translation from Usp. Mat. Nauk 76, No. 1, 3-30 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Four heads are better than three. (English) Zbl 07370038

Zenil, Hector (ed.), Cellular automata and discrete complex systems. 26th IFIP WG 1.5 international workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12286, 111-125 (2020).
MSC:  68Q80
PDF BibTeX XML Cite
Full Text: DOI arXiv

Criterion of neural generation of automaton functions with time delay. (English. Russian original) Zbl 1474.68169

Mosc. Univ. Math. Bull. 75, No. 6, 261-262 (2020); translation from Vestn. Mosk. Univ., Ser. I 75, No. 6, 54-55 (2020).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software