00000cmm a22000004i 4500 UP-99796217611115279 Buklod 20230214083808.0 m go j cr |n |||auu|a 110720s2011 xx u | eng d 9783642226007 (eBook) 3642226000 (eBook) (iLib)UPD-00212405168 DLC DML eng DMLUC QA 267.3 D34 2011eb DCFS 2011 Limburg, Germany) (2011 Descriptional complexity of formal systems 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings [electronic resource] Markus Holzer, Martin Kutrib, Giovanni Pighizzini (Eds.). DALT 2010 Berlin Heidelberg Springer c2011. 1 online resource (x, 327 p.) Lecture notes in computer science 0302-9743 6808 LNCS sublibrary. SL 1, Theoretical computer science and general issues IP-based subscription, access limited to within on-campus computer network. Access via Electronic Resources of the UPD University Library Website. This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. The 21 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 54 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov complexity. Electronic reproduction. New York SpringerLink 2011. Available via World Wide Web through SpringerLink. Formal languages Congresses. Machine theory Congresses. Formal methods (Computer science) Congresses. Electronic books. Holzer, Markus. Kutrib, Martin. Pighizzini, Giovanni. SpringerLink (Online service). Electronic Resource http://link.springer.com/book/10.1007/978-3-642-22600-7 Available for University of the Philippines Diliman via SpringerLink. Click here to access (viewed 03 June 2014) FO Monograph UPD DMLR Electronic Resource