Accedi

Bibliografie tematiche / Finite state automata / Libri

Libri sul tema "Finite state automata"

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Finite state automata.

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 8 giugno 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-23 libri per l'attività di ricerca sul tema "Finite state automata".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi i libri di molte aree scientifiche e compila una bibliografia corretta.

1

Sifakis, Joseph, a cura di. Automatic Verification Methods for Finite State Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/3-540-52148-8.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

2

Ferdinand, Wagner, a cura di. Modeling software with finite state machines: A practical approach. Boca Raton, FL: Taylor & Francis, 2006.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

3

Carson-Berndsen, Julie. Time Map Phonology: Finite State Models and Event Logics in Speech Recognition. Dordrecht: Springer Netherlands, 1998.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Time map phonology: Finite state models and event logics in speech recognition. Dordrecht: Kluwer, 1998.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

5

Schulz, Klaus U., e Stoyan Mihov. Finite-State Techniques: Automata, Transducers and Bimachines. Cambridge University Press, 2019.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

Schulz, Klaus U., e Stoyan Mihov. Finite-State Techniques: Automata, Transducers and Bimachines. Cambridge University Press, 2019.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Karttunen, Lauri. Finite-State Technology. A cura di Ruslan Mitkov. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780199276349.013.0018.

Testo completo

Abstract (sommario):

The article introduces the basic concepts of finite-state language processing: regular languages and relations, finite-state automata, and regular expressions. Many basic steps in language processing, ranging from tokenization, to phonological and morphological analysis, disambiguation, spelling correction, and shallow parsing, can be performed efficiently by means of finite-state transducers. The article discusses examples of finite-state languages and relations. Finite-state networks can represent only a subset of all possible languages and relations; that is, only some languages are finite-state languages. Furthermore, this article introduces two types of complex regular expressions that have many linguistic applications, restriction and replacement. Finally, the article discusses the properties of finite-state automata. The three important properties of networks are: that they are epsilon free, deterministic, and minimal. If a network encodes a regular language and if it is epsilon free, deterministic, and minimal, the network is guaranteed to be the best encoding for that language.

Gli stili APA, Harvard, Vancouver, ISO e altri

8

Aubry, Jean François, e Nicolae Brinzei. Systems Dependability Assessment: Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

Aubry, Jean François, e Nicolae Brinzei. Systems Dependability Assessment: Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

Aubry, Jean François, e Nicolae Brinzei. Systems Dependability Assessment: Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

11

Aubry, Jean François, e Nicolae Brinzei. Systems Dependability Assessment: Modeling with Graphs and Finite State Automata. Wiley & Sons, Incorporated, John, 2015.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

12

Shornikov, Yury V. Theory of Programming Languages: Design and Implementation. Novosibirsk State Technical University, 2022. http://dx.doi.org/10.17212/978-5-7782-4817-5.

Testo completo

Abstract (sommario):

The textbook has been prepared in accordance with the State educational Standard in the fields of "Computer Science and Computer Engineering" (09.03.01), "Applied Computer Science" (09.03.03) for the cycle of disciplines of information specialties. The basis of the textbook was the material of lectures delivered by the author to students of the relevant specialties at the Novosibirsk State Technical University and the Kazakh-British Technical University in the courses "Theory of Formal Languages and Compilers", "System Software", and "Linguistic Support". The textbook discusses the theory of generating grammars, finite automata and regular expressions. All theoretical mechanisms of analysis and synthesis of language constructions are strictly formalized and constitute the theoretical foundations of the programming language design. The implementation of programming languages is represented by the development of language processors. The transition from formal languages to language processors is carried out through constructive analysis methods with strict modeling algorithms that can be implemented in high-level languages or with the help of modern programming automation tools. The manual discusses ANTLR and FLEX & BIZON tools for automating parser and lexer programming. Despite the educational orientation, the manual can be useful to anyone who is engaged in the design and implementation of new languages, language processors and finite-automaton recognizers.

Gli stili APA, Harvard, Vancouver, ISO e altri

13

Hori, Takaaki, e Atsushi Nakamura. Speech Recognition Algorithms Based on Weighted Finite-State Transducers. Morgan & Claypool Publishers, 2013.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

14

Hori, Takaaki, e Atsushi Nakamura. Speech Recognition Algorithms Based on Weighted Finite-State Transducers. Springer International Publishing AG, 2012.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

15

Hori, Takaaki, e Atsushi Nakamura. Speech Recognition Algorithms Based on Weighted Finite-State Transducers. Morgan & Claypool Publishers, 2013.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

Barkalov, Alexander, Larysa Titarenko e Jacek Bieganowski. Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations, Recent Developments and Challenges. Springer, 2018.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

17

Barkalov, Alexander, Larysa Titarenko e Jacek Bieganowski. Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations, Recent Developments and Challenges. Springer, 2017.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

18

Harmon, James Edward. Automated design of a microprogrammed controller for a Finite State Machine. 1988.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

19

Automatic verification methods for finite state systems: International workshop, Grenoble, France, June 12-14, 1989 : proceedings. Berlin: Springer-Verlag, 1990.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

20

Sifakis, J. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989 : Proceedings (Lecture Notes in Computer Science). Springer, 1990.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Sifakis, Joseph. Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science). Not Avail, 1990.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

22

Trost, Harald. Morphology. A cura di Ruslan Mitkov. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780199276349.013.0002.

Testo completo

Abstract (sommario):

This article discusses in detail computational morphology with examples from various languages. It deals with the processing of words in both their graphemic, i.e. written, and their phonemic, i.e. spoken form. It has a wide range of practical applications such as spelling correction or automated hyphenation. It further seeks the fact that these tasks may seem simple to a human but they pose hard problems to a computer program. This article provides insights into why this is so and what techniques are available to tackle these tasks. It discusses the sort of information that is expressed by morphology and differs widely between languages and looks at the constraints involved in morphotactics. It is responsible for governing the rules for the combination of morphs into larger entities. It concludes with an outline of finite-state morphology and alternative formalisms.

Gli stili APA, Harvard, Vancouver, ISO e altri

23

Grishman, Ralph. Information Extraction. A cura di Ruslan Mitkov. Oxford University Press, 2012. http://dx.doi.org/10.1093/oxfordhb/9780199276349.013.0030.

Testo completo

Abstract (sommario):

Information extraction (IE) is the automatic identification of selected types of entities, relations, or events in free text. This article appraises two specific strands of IE — name identification and classification, and event extraction. Conventional treatment of languages pays little attention to proper names, addresses etc. Presentations of language analysis generally look up words in a dictionary and identify them as nouns etc. The incessant presence of names in a text, makes linguistic analysis of the same difficult, in the absence of the names being identified by their types and as linguistic units. Name tagging involves creating, several finite-state patterns, each corresponding to some noun subset. Elements of the patterns would match specific/classes of tokens with particular features. Event extraction typically works by creating a series of regular expressions, customized to capture the relevant events. Enhancement of each expression is corresponded by a relevant, suitable enhancement in the event patterns.

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!