TY  - GEN
AB  - This book constitutes the proceedings of the 23rd International Conference on Descriptional Complexity of Format Systems, DCFS 2021, which was supposed to take place in Seoul South Korea in June 2021, but the conference was canceled due to the COVID-19 crisis. The 16 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The conference focus to all aspects of descriptional complexity-the costs of description of objects in various computational models such as Turing machines, pushdown automata, finite automata or grammars.
AU  - Han, Yo-Sub,
AU  - Ko, Sang-Ki,
CN  - QA267.3
DO  - 10.1007/978-3-030-93489-7
DO  - doi
ID  - 1441413
KW  - Formal languages
KW  - Machine theory
KW  - Formal methods (Computer science)
KW  - Langages formels
KW  - Théorie des automates
KW  - Méthodes formelles (Informatique)
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-93489-7
N1  - Includes author index.
N2  - This book constitutes the proceedings of the 23rd International Conference on Descriptional Complexity of Format Systems, DCFS 2021, which was supposed to take place in Seoul South Korea in June 2021, but the conference was canceled due to the COVID-19 crisis. The 16 full papers presented in this volume were carefully reviewed and selected from 21 submissions. The conference focus to all aspects of descriptional complexity-the costs of description of objects in various computational models such as Turing machines, pushdown automata, finite automata or grammars.
SN  - 9783030934897
SN  - 3030934896
T1  - Descriptional complexity of formal systems :23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual event, September 5, 2021, Proceedings /
TI  - Descriptional complexity of formal systems :23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual event, September 5, 2021, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-93489-7
VL  - 13037
ER  -