Jumping computation : updating automata and grammars for discontinuous information processing
Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing is primarily a theoretically oriented treatment of jumping automata and grammars, covering all essential theoretical topics concerning them, including their power, properties, and transformations. From a pra...
Saved in:
| Main Authors | , |
|---|---|
| Format | Electronic eBook |
| Language | English |
| Published |
Boca Raton :
CRC Press,
2024.
|
| Subjects | |
| Online Access | Full text |
| ISBN | 9781003107910 9781003852544 9781003852605 9780367620936 9780367634797 |
| Physical Description | 1 online zdroj : ilustrace |
Cover
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 115173 | ||
| 003 | CZ-ZlUTB | ||
| 005 | 20260220103215.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 240829t20242024flua ob 001 0 eng | ||
| 020 | |a 9781003107910 |q (electronic book) | ||
| 020 | |a 9781003852544 |q (electronic book) | ||
| 020 | |a 9781003852605 |q (electronic book) | ||
| 020 | |z 9780367620936 |q (hardcover) | ||
| 020 | |z 9780367634797 |q (paperback) | ||
| 024 | 7 | |a 10.1201/9781003107910 |2 doi | |
| 035 | |a (OCoLC)1453722875 |z (OCoLC)1416301414 |z (OCoLC)1416979356 |z (OCoLC)1439102717 | ||
| 040 | |a DLC |b eng |e rda |c DLC |d OCLCO |d TYFRS |d OCLKB |d UKAHL |d ORMDA |d N$T |d OCLCO |d YDX |d OCLCL |d DLC | ||
| 042 | |a pcc | ||
| 100 | 1 | |a Meduna, Alexander, |d 1957- |e author. | |
| 245 | 1 | 0 | |a Jumping computation : |b updating automata and grammars for discontinuous information processing / |c Alexander Meduna and Zbyněk Křivka. |
| 264 | 1 | |a Boca Raton : |b CRC Press, |c 2024. | |
| 264 | 4 | |c ©2024 | |
| 300 | |a 1 online zdroj : |b ilustrace | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a počítač |b c |2 rdamedia | ||
| 338 | |a online zdroj |b cr |2 rdacarrier | ||
| 504 | |a Obsahuje bibliografické odkazy a index. | ||
| 505 | 0 | |a Mathematical background -- Automata and grammars -- Jumping one-head automata -- Jumping multi-head automata -- Sequential jumping grammars -- Parallel jumping grammars -- Pure jumping grammars -- Other models of discontinuous computation -- Remarks on applications and their perspectives -- Summarizing and bibliographical remarks. | |
| 506 | |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty | ||
| 520 | |a Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing is primarily a theoretically oriented treatment of jumping automata and grammars, covering all essential theoretical topics concerning them, including their power, properties, and transformations. From a practical viewpoint, it describes various concepts, methods, algorithms, techniques, case studies and applications based upon these automata and grammars. In today's computerized world, the scientific development and study of computation, referred to as the theory of computation, plays a crucial role. One important branch, language theory, investigates how to define and study languages and their models, which formalize algorithms according to which their computation is executed. These language-defining models are classified into two basic categories: automata, which define languages by recognizing their words, and grammars, which generate them. Introduced many decades ago, these rules reflect classical sequential computation. However, today's computational methods frequently process information in a fundamentally different way, frequently jumping over large portions of the information as a whole. This book adapts classical models to formalize and study this kind of computation properly. Simply put, during their language-defining process, these adapted versions, called jumping automata and grammars, jump across the words they work on. The book selects important models and summarizes key results about them in a compact and uniform way. It relates each model to a particular form of modern computation, such as sequential, semi-parallel and totally parallel computation, and explains how the model in question properly reflects and formalizes the corresponding form of computation, thus allowing us to obtain a systematized body of mathematically precise knowledge concerning the jumping computation. The book pays a special attention to power, closure properties, and transformations, and also describes many algorithms that modify jumping grammars and automata so they satisfy some prescribed properties without changing the defined language. The book will be of great interest to anyone researching the theory of computation across the fields of computer science, mathematics, engineering, logic and linguistics. | ||
| 588 | |a Description based on online resource; title from digital title page (viewed on April 07, 2025). | ||
| 650 | 0 | |a Machine theory. | |
| 650 | 0 | |a Computer science |x Mathematics. | |
| 650 | 0 | |a Computer programming. | |
| 655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
| 655 | 9 | |a electronic books |2 eczenas | |
| 700 | 1 | |a Křivka, Zbyněk, |e author. | |
| 776 | 0 | 8 | |i Print version: |a Meduna, Alexander, 1957- |t Jumping computation |d Boca Raton : CRC Press, 2024 |z 9780367620936 |w (DLC) 2023059015 |
| 856 | 4 | 0 | |u https://proxy.k.utb.cz/login?url=https://www.taylorfrancis.com/books/9781003107910 |
| 942 | |2 udc | ||
| 992 | |c EBOOK-TN |c TAYLOR | ||
| 993 | |x NEPOSILAT |y EIZ | ||
| 999 | |c 115173 |d 115173 | ||