| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910480043703321 |
|
|
Autore |
Kozen Dexter C |
|
|
Titolo |
Automata and Computability [[electronic resource] /] / by Dexter C. Kozen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, NY : , : Springer New York : , : Imprint : Springer, , 1997 |
|
|
|
|
|
|
|
ISBN |
|
1-4612-7309-9 |
1-4612-1844-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 1997.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 400 p.) |
|
|
|
|
|
|
Collana |
|
Undergraduate Texts in Computer Science |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Algorithms |
Computation by Abstract Devices |
Algorithm Analysis and Problem Complexity |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Lectures -- 1 Course Roadmap and Historical Perspective -- 2 Strings and Sets -- 3 Finite Automata and Regular Sets -- 4 More on Regular Sets -- 5 Nondeterministic Finite Automata -- 6 The Subset Construction -- 7 Pattern Matching -- 8 Pattern Matching and Regular Expressions -- 9 Regular Expressions and Finite Automata -- A Kleene Algebra and Regular Expressions -- 10 Homomorphisms -- 11 Limitations of Finite Automata -- 12 Using the Pumping Lemma -- 13 DFA State Minimization -- 14 A Minimization Algorithm -- 15 Myhill—Nerode Relations -- 16 The Myhill—Nerode Theorem -- B Collapsing Nondeterministic Automata -- C Automata on Terms -- D The Myhill—Nerode Theorem for Term Automata -- 17 Two-Way Finite Automata -- 18 2DFAs and Regular Sets -- 19 Context-Free Grammars and Languages -- 20 Balanced Parentheses -- 21 Normal Forms -- 22 The Pumping Lemma for CFLs -- 23 Pushdown Automata -- E Final State Versus Empty Stack -- 24 PDAs and CFGs -- 25 Simulating NPDAs by CFGs -- F Deterministic Pushdown Automata -- 26 Parsing -- 27 The Cocke—Kasami—Younger Algorithm -- G The Chomsky—Schützenberger Theorem -- H Parikh’s Theorem -- 28 Turing Machines and Effective Computability -- 29 More on Turing Machines -- 30 |
|
|
|
|
|
|
|
|
|
|
|
Equivalent Models -- 31 Universal Machines and Diagonalization -- 32 Decidable and Undecidable Problems -- 33 Reduction -- 34 Rice’s Theorem -- 35 Undecidable Problems About CFLs -- 36 Other Formalisms -- 37 The a-Calculus -- I While Programs -- J Beyond Undecidability -- 38 Gödel’s Incompleteness Theorem -- 39 Proof of the Incompleteness Theorem -- K Gödel’s Proof -- Exercises -- Homework Sets -- Homework 1 -- Homework 2 -- Homework 3 -- Homework 4 -- Homework 5 -- Homework 6 -- Homework 7 -- Homework 8 -- Homework 9 -- Homework 10 -- Homework 11 -- Homework 12 -- Miscellaneous Exercises -- Finite Automata and Regular Sets -- Pushdown Automata and Context-Free Languages -- Turing Machines and Effective Computability -- Hints and Solutions -- Hints for Selected Miscellaneous Exercises -- Solutions to Selected Miscellaneous Exercises -- References -- Notation and Abbreviations. |
|
|
|
|
|
|
Sommario/riassunto |
|
The aim of this textbook is to provide undergraduate students with an introduction to the basic theoretical models of computability, and to develop some of the model's rich and varied structure. Students who have already some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in discussions of effective computability, decidability, and Gödel's incompleteness theorems. Plenty of exercises are provided, ranging from the easy to the challenging. As a result, this text will make an ideal first course for students of computer science. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910293135903321 |
|
|
Autore |
Nguyễn Thị Hải |
|
|
Titolo |
La marche de Cao Bằng : La Cour et les gardiens de frontière, des origines aux conséquences de la réforme de Minh Mạng / / Thị Hải Nguyễn |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Paris, : Presses de l’Inalco, 2018 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (292 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
History |
gardien de frontière |
tusi |
chef autochtone |
zone frontalière |
pouvoir local |
minorité |
Cao Bằng |
nord du Vietnam |
région montagneuse |
Tày |
native chieftains |
indigenous leaders |
local authority |
minorities |
borderland |
Cao-Bang |
North Vietnam |
mountainous area |
Cao Bằng (Vietnam : Province) History |
Vietnam History 1787-1858 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Située à la frontière du nord du Vietnam et dotée d’un relief accidenté, la province de Cao Bằng, pays des Tày, a longtemps été considérée comme une zone reculée, barbare, insalubre et potentiellement dangereuse pour les Kinh venus du delta. Pour bien administrer cette zone frontalière, le souverain dût accepter les privilèges des chefs autochtones en maintenant ses propres prérogatives comme les éléments symboliques. Mais, à partir de 1820, en visant à intégrer cette région au système administratif officiel du pays, l’empereur Minh Mạng (1820‑1840) a réalisé une politique pour éliminer le pouvoir des gardiens de frontière. Cette réforme est considérée comme la première offensive, et d’ailleurs la plus violente, du pouvoir central à l’encontre des chefs autochtones en zone montagneuse. Cette monographie met en lumière la relation entre la monarchie et les pouvoirs locaux de Cao Bằng des origines aux conséquences de la réforme de Minh Mạng, y compris la rivalité politique entre des chefs locaux sur le plan local. Cette étude rétrospective offre un nouveau regard sur le processus d’intégration des marches frontières du nord du Vietnam et sur les difficultés rencontrées par la cour de Hué dans sa gestion des régions frontalières. Located on the northern border of Vietnam, endowed with a mountainous landscape and inhabited by the Tày people, the province of Cao Bằng was considered the most remote, barbarian, unhealthy and potentially dangerous region for Vietnamese from the delta. To govern this area successfully, the sovereign had to accept local leaders’ right to control the border and was obliged to limit the royal prerogative to symbolic forms, such as the payment of tribute. However, beginning in 1820, in an effort to integrate the region into the official administrative system of the country, the Emperor Minh Mang launched a policy to eliminate the power of chieftains in the borderland region. This reform was the first and most violent offensive of the central… |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910827211503321 |
|
|
Autore |
Redstone Fran |
|
|
Titolo |
Effective SLP interventions for children with cerebral palsy : NDT/traditional/eclectic / / Fran Redstone ; contributors, Cindy Geise Arroyo [and five others] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
San Diego, California : , : Plural Publishing, , 2014 |
|
©2014 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (401 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Cerebral palsied children - Rehabilitation |
Speech therapy for children |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Preface; Acknowledgments; Contributors; Chapter 1. The Development in Neurodevelopmental Treatment (NDT)for the SLP; Chapter 2. The ABCs of NDT; Chapter 3. ABCs of CP and Accompanying Motor Speech Disorders: An Overview; Chapter 4. Feeding the Whole Child Using NDT; Chapter 5. Feeding in the NICU; Chapter 6. Respiratory Control; Chapter 7. NDT and Speech Sound Production; Chapter 8. Saliva Control and Drooling in Children with Cerebral Palsy; Chapter 9. Early Language Intervention and Interaction; Chapter 10. AAC for Children with Cerebral Palsy |
Chapter 11. Literacy Challenges and Early Intervention for Children Using Aided Communication: Starting WellChapter 12. Commentary on Evidence-Based Practice and NDT; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Developed for therapists working with children with cerebral palsy and other neuromotor disorders, this book outlines practical clinical interventions from expert clinicians and evaluates the evidence that supports these interventions. Chapters highlight the problem-solving and critical-thinking skills necessary to assess and treat the feeding and communication needs of children with this central motor impairment. |
|
|
|
|
|
|
|
| |