×

Found 45,363 Documents (Results 1–100)

Totalistic cellular automata and self-referential sentences. (English) Zbl 07823009

Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 21-35 (2023).
MSC:  68T27
PDFBibTeX XMLCite
Full Text: Link

Catalan numbers recurrence as a stationary state equation of the probabilistic cellular automaton. (English) Zbl 07820155

Elaydi, Saber (ed.) et al., Advances in discrete dynamical systems, difference equations and applications. ICDEA 26, Sarajevo, Bosnia and Herzegovina, July 26–30, 2021. Proceedings of the 26th international conference on difference equations and applications. Cham: Springer. Springer Proc. Math. Stat. 416, 155-165 (2023).
MSC:  37-XX 39-XX
PDFBibTeX XMLCite
Full Text: DOI

Transduction of automatic sequences and applications. (English) Zbl 07810940

Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 266-277 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Deciding whether an attributed translation can be realized by a top-down transducer. (English) Zbl 07810937

Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 230-241 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Weighted bottom-up and top-down tree transformations are incomparable. (English) Zbl 07810936

Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 218-229 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Verified verifying: SMT-LIB for strings in Isabelle. (English) Zbl 07810935

Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 206-217 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

When is context-freeness distinguishable from regularity? An extension of Parikh’s theorem. (English) Zbl 07810932

Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 166-178 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Operational complexity in subregular classes. (English) Zbl 07810931

Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 153-165 (2023).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software