×

Found 209 Documents (Results 1–100)

Complexity of exclusive nondeterministic finite automata. (English) Zbl 07729462

Bordihn, Henning (ed.) et al., Descriptional complexity of formal systems. 25th IFIP WG 1.02 international conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13918, 121-133 (2023).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Reversible computations of one-way counter automata. (English) Zbl 07800498

Bordihn, Henning (ed.) et al., Proceedings of the 12th international workshop on non-classical models of automata and applications, NCMA 2022, Debrecen, Hungary, August 26–27, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 367, 126-142 (2022).
MSC:  68-XX 03-XX
PDFBibTeX XMLCite
Full Text: arXiv Link

On the power of pushing or stationary moves for input-driven pushdown automata. (English) Zbl 07572318

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 140-151 (2022).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Iterated uniform finite-state transducers on unary languages. (English) Zbl 1490.68128

Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 218-232 (2021).
MSC:  68Q45 68Q80
PDFBibTeX XMLCite
Full Text: DOI

One-dimensional pattern generation by cellular automata. (English) Zbl 1492.68090

Gwizdałła, Tomasz M. (ed.) et al., Cellular automata. 14th international conference on cellular automata for research and industry, ACRI 2020, Lodz, Poland, December 2–4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12599, 46-55 (2021).
MSC:  68Q80 68Q45 68W32
PDFBibTeX XMLCite
Full Text: DOI

Deterministic and nondeterministic iterated uniform finite-state transducers: computational and descriptional power. (English) Zbl 07633499

Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 87-99 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Iterated uniform finite-state transducers: descriptional complexity of nondeterminism and two-way motion. (English) Zbl 07371294

Jirásková, Galina (ed.) et al., Descriptional complexity of formal systems. 22nd international conference, DCFS 2020, Vienna, Austria, August 24–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12442, 117-129 (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Descriptional complexity of iterated uniform finite-state transducers. (English) Zbl 1434.68272

Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 223-234 (2019).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI HAL

Iterative arrays with finite inter-cell communication. (English) Zbl 1425.68282

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, 35-47 (2019).
MSC:  68Q80 03B25
PDFBibTeX XMLCite
Full Text: DOI

Finite automata with undirected state graphs. (English) Zbl 1435.68176

Konstantinidis, Stavros (ed.) et al., Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10952, 212-223 (2018).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI HAL

Boosting pushdown and queue machines by preprocessing. (English) Zbl 1458.68104

Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10977, 28-40 (2018).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Hierarchies and undecidability results for iterative arrays with sparse communication. (English) Zbl 1508.68235

Baetens, Jan M. (ed.) et al., Cellular automata and discrete complex systems. 24th IFIP WG 1.5 international workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10875, 100-112 (2018).
MSC:  68Q80
PDFBibTeX XMLCite
Full Text: DOI HAL

Input-driven double-head pushdown automata. (English) Zbl 1483.68172

Csuhaj-Varjú, Erzsébet (ed.) et al., Proceedings of the 15th international conference on automata and formal languages, AFL’17, Debrecen, Hungary, September 4–6, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 252, 128-142 (2017).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: arXiv Link

Fast one-way cellular automata with reversible Mealy cells. (English) Zbl 1451.68184

Dennunzio, Alberto (ed.) et al., Cellular automata and discrete complex systems. 23rd IFIP WG 1.5 international workshop, AUTOMATA 2017, Milan, Italy, June 7–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10248, 139-150 (2017).
MSC:  68Q80 68Q45
PDFBibTeX XMLCite
Full Text: DOI HAL

Transducing reversibly with finite state machines. (English) Zbl 1429.68121

Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 151-162 (2017).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Descriptional complexity of bounded regular languages. (English) Zbl 1476.68130

Câmpeanu, Cezar (ed.) et al., Descriptional complexity of formal systems. 18th IFIP WG 1.2 international conference, DCFS 2016, Bucharest, Romania, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9777, 138-152 (2016).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI HAL

Boosting reversible pushdown machines by preprocessing. (English) Zbl 1476.68124

Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9720, 89-104 (2016).
MSC:  68Q45 68Q10
PDFBibTeX XMLCite
Full Text: DOI

Reversible shrinking two-pushdown automata. (English) Zbl 1443.68080

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 579-591 (2016).
MSC:  68Q45 68Q09
PDFBibTeX XMLCite
Full Text: DOI

Input-driven queue automata with internal transductions. (English) Zbl 1443.68090

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 156-167 (2016).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

A hierarchy of fast reversible Turing machines. (English) Zbl 1464.68103

Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 29-44 (2015).
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

Software