TY - BOOK ID - 46379903 TI - Descriptional Complexity of Formal Systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings AU - Hospodár, Michal. AU - Jirásková, Galina. AU - Konstantinidis, Stavros. AU - DCFS (Workshop) PY - 2019 SN - 3030232476 3030232468 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Logic design. KW - Computer science. KW - Artificial intelligence. KW - Database management. KW - Software engineering. KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Artificial Intelligence. KW - Database Management. KW - Special Purpose and Application-Based Systems. KW - Computer software engineering KW - Engineering KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Electronic data processing KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Informatics KW - Science KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Formal languages KW - Formal methods (Computer science) KW - Computer logic. KW - Mathematical logic. KW - Special purpose computers. KW - Special purpose computers KW - Computers KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Machine theory. KW - Computers, Special purpose. KW - Computer Science Logic and Foundations of Programming. KW - Formal Languages and Automata Theory. KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Recursive functions KW - Robotics UR - https://www.unicat.be/uniCat?func=search&query=sysid:46379903 AB - This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others. . ER -