×

Found 1,497 Documents (Results 1–100)

Rational index of languages with bounded dimension of parse trees. (English) Zbl 07571015

Diekert, Volker (ed.) et al., Developments in language theory. 26th international conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13257, 263-273 (2022).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computational fun with sturdy and flimsy numbers. (English) Zbl 1515.68160

Farach-Colton, Martin (ed.) et al., 10th international conference on fun with algorithms. FUN 2021, May 30 – June 1, 2021, Favignana Island, Sicily, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 157, Article 10, 21 p. (2020).
MSC:  68Q45 11A63 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs. (English) Zbl 07559478

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 22, 16 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Good-for-games \(\omega \)-pushdown automata. (English) Zbl 1518.68181

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 689-702 (2020).
MSC:  68Q45 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

A characterization of the context-free languages by stateless ordered restart-delete automata. (English) Zbl 1440.68160

Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 39-50 (2020).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata. (English) Zbl 1504.68098

Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 38, 14 p. (2019).
MSC:  68Q45 68Q42 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Two-head finite-state acceptors with translucent letters. (English) Zbl 1444.68099

Catania, Barbara (ed.) et al., SOFSEM 2019: theory and practice of computer science. 45th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11376, 406-418 (2019).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

An improved proof of the closure under homomorphic inverse of FCFL valued in lattice-ordered monoids. (English) Zbl 1452.68110

Sun, Xiaoming (ed.) et al., Theoretical computer science. 37th national conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1069, 64-75 (2019).
MSC:  68Q45 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Bar-Hillel theorem mechanization in Coq. (English) Zbl 1530.68140

Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11541, 264-281 (2019).
MSC:  68Q45 68V15 68V20
PDFBibTeX XMLCite
Full Text: DOI

Enhancement of automata with jumping modes. (English) Zbl 1425.68195

Castillo-Ramirez, Alonso (ed.) et al., Cellular automata and discrete complex systems. 25th IFIP WG 1.5 international workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11525, 62-76 (2019).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI HAL

Some applications of the formalization of the pumping lemma for context-free languages. (English) Zbl 1433.68200

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 151-167 (2019).
MSC:  68Q45 68V15 68V20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software