Formal languages and their relation to automata / John E. Hopcroft, Jeffrey D. Ullman |
Autore | Hopcroft, John E. |
Pubbl/distr/stampa | Reading, Mass. : Addison-Wesley, c1969 |
Descrizione fisica | vii, 242 p. : ill. ; 24 cm. |
Disciplina | 001.535 |
Altri autori (Persone) | Ullman, Jeffrey D. |
Collana | Addison-Wesley series in computer science and information processing |
Soggetto topico |
Automata theory
Formal languages Machine theory Programming |
Classificazione |
AMS 68N05
AMS 68Q45 AMS 68Q68 AMS 68T25 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000901569707536 |
Hopcroft, John E. | ||
Reading, Mass. : Addison-Wesley, c1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Frontiers in algorithmics : Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009 : proceedings / / Xiaotie Deng, John E. Hopcroft, Jinyun Xue (eds.) |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2009 |
Descrizione fisica | 1 online resource (XIV, 372 p.) |
Disciplina | 005.1 |
Altri autori (Persone) |
DengXiaotie
HopcroftJohn E. <1939-> XueJinyun |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
Soggetto topico |
Algorithms
Computer algorithms |
ISBN |
1-280-38299-6
9786613560902 3-642-02270-7 |
Classificazione |
DAT 530f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | FAW 2009 -- Study on Parallel Computing -- Communication Complexity and Its Applications -- Algorithmic Problems in Computer and Network Power Management -- Shortest Path and Maximum Flow Problems in Networks with Additive Losses and Gains -- Edge Search Number of Cographs in Linear Time -- Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems -- Improved Algorithms for Detecting Negative Cost Cycles in Undirected Graphs -- Covering-Based Routing Algorithms for Cyclic Content-Based P/S System -- On the ?-Sensitivity of Nash Equilibria in PageRank-Based Network Reputation Games -- Cop-Robber Guarding Game with Cycle Robber Region -- Covered Interest Arbitrage in Exchange Rate Forecasting Markets -- CFI Construction and Balanced Graphs -- Minimizing the Weighted Directed Hausdorff Distance between Colored Point Sets under Translations and Rigid Motions -- Space–Query-Time Tradeoff for Computing the Visibility Polygon -- Square and Rectangle Covering with Outliers -- Processing an Offline Insertion-Query Sequence with Applications -- Bounds on the Geometric Mean of Arc Lengths for Bounded-Degree Planar Graphs -- On Minimizing One Dimension of Some Two-Dimensional Geometric Representations of Plane Graphs -- On Modulo Linked Graphs -- Pathwidth is NP-Hard for Weighted Trees -- A Max-Margin Learning Algorithm with Additional Features -- DDoS Attack Detection Algorithm Using IP Address Features -- Learning with Sequential Minimal Transductive Support Vector Machine -- Junction Tree Factored Particle Inference Algorithm for Multi-Agent Dynamic Influence Diagrams -- An Efficient Fixed-Parameter Enumeration Algorithm for Weighted Edge Dominating Set -- Heuristics for Mobile Object Tracking Problem in Wireless Sensor Networks -- Efficient Algorithms for the Closest String and Distinguishing String Selection Problems -- The BDD-Based Dynamic A* Algorithm for Real-Time Replanning -- Approximating Scheduling Machines with Capacity Constraints -- Approximating the Spanning k-Tree Forest Problem -- Toward an Automatic Approach to Greedy Algorithms -- A Novel Approximate Algorithm for Admission Control -- On the Structure of Consistent Partitions of Substring Set of a Word -- A Bit-Parallel Exact String Matching Algorithm for Small Alphabet -- An Improved Database Classification Algorithm for Multi-database Mining -- Six-Card Secure AND and Four-Card Secure XOR. |
Record Nr. | UNINA-9910483641603321 |
Berlin ; ; New York, : Springer, 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to automata theory, languages and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman |
Autore | Hopcroft, John E. |
Edizione | [3. ed] |
Pubbl/distr/stampa | Edinburg Gate : Pearson Education Limited, 2014 |
Descrizione fisica | II, 488 p. ; 28 cm |
Disciplina | 511.3 |
Altri autori (Persone) |
Motwani, Rajeev
Ullman, Jeffrey D. |
Soggetto non controllato | Teoria degli automi |
ISBN |
0321455363
978-1-292-03905-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910316358103321 |
Hopcroft, John E. | ||
Edinburg Gate : Pearson Education Limited, 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to automata theory, languages and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman |
Autore | Hopcroft, John E. |
Edizione | [2nd ed.] |
Pubbl/distr/stampa | Boston : Addison-Wesley, c2001 |
Descrizione fisica | xiv, 521 p. : ill. ; 25 cm |
Disciplina | 511.3 |
Altri autori (Persone) |
Motwani, Rajeev
Ullman, Jeffrey D. <1942- > |
Soggetto non controllato |
Teoria delle macchine
Linguaggi formali Teorema di completezza |
ISBN | 0-201-44124-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001480240403321 |
Hopcroft, John E. | ||
Boston : Addison-Wesley, c2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman |
Autore | Hopcroft, John E. |
Edizione | [2nd ed] |
Pubbl/distr/stampa | Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 2001 |
Descrizione fisica | XIV, 521 p. : ill. ; 25 cm |
Disciplina | 511.3 |
Soggetto non controllato |
Linguaggi formali
Teoria delle macchine |
ISBN | 0-201-44124-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000178930203316 |
Hopcroft, John E. | ||
Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Introduction to automata theory, languages and computation / John E. HOPCROFT, Jeffrey D. ULLMAN |
Autore | Hopcroft, John E. |
Pubbl/distr/stampa | Reading (Mass.) : Addison-Wesley, c1979 |
Descrizione fisica | x, 418 p. ; 24 cm |
Disciplina | 629.8 |
Collana | Addison-Wesley series in computer science |
Soggetto non controllato | Controlli automatici |
ISBN | 0-201-02988-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001444250403321 |
Hopcroft, John E. | ||
Reading (Mass.) : Addison-Wesley, c1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to automata theory, languages and computation / by HOPCROFT J. and ULLMA N J.D. |
Autore | Hopcroft, John E. |
Pubbl/distr/stampa | Reading [MA] [etc.] : Addison-Wesley, 1979 |
Soggetto non controllato | Teoria degli automi |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001295860403321 |
Hopcroft, John E. | ||
Reading [MA] [etc.] : Addison-Wesley, 1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman |
Autore | Hopcroft, John E. |
Pubbl/distr/stampa | Reading [etc. ] : Addison-Wesley, c1979 |
Disciplina | 510.78 |
Soggetto non controllato |
Cibernetica
Teoria dei giochi Teoria degli automi Intelligenza artificiale |
ISBN | 0-201-02988-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001361080403321 |
Hopcroft, John E. | ||
Reading [etc. ] : Addison-Wesley, c1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Introduction to automata theory, languages and computation / John E. Hopcroft, Jeffrey D. Ullman |
Autore | Hopcroft, John E. |
Pubbl/distr/stampa | Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 1979 |
Descrizione fisica | X, 418 p. : ill. ; 25 cm |
Disciplina | 511.3 |
Collana | Addison-Wesley series in computer science |
Soggetto non controllato |
Linguaggi formali
Teoria delle macchine |
ISBN | 0-201-02988-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000100260203316 |
Hopcroft, John E. | ||
Reading ( Mass.) [etc.] : Addison-Wesley, copyr. 1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Introduction to automata theory, languages, and computation / / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman |
Autore | Hopcroft John E. <1939-> |
Edizione | [Third, Pearson new international edition.] |
Pubbl/distr/stampa | Harlow, England : , : Pearson, , [2014] |
Descrizione fisica | 1 online resource (ii, 488 pages) : illustrations |
Disciplina | 511.3 |
Collana | Always learning |
Soggetto topico | Machine theory |
ISBN | 1-292-05616-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Automata : the methods and the madness -- Finite automata -- Regular expressions and languages -- Properties of regular languages -- Context-free grammars and languages -- Pushdown automata -- Properties of context-free languages -- Introduction to turing machines -- Undecidability -- Intractable problems. |
Record Nr. | UNINA-9910154805903321 |
Hopcroft John E. <1939-> | ||
Harlow, England : , : Pearson, , [2014] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|