Finite Automata
Automata are a special class of abstract devices for computation, also called machines, which have been the subject of a vast amount of research for several decades [64].
        Saved in:
      
    
          | Published in | Introduction to Diagnosis of Active Systems pp. 19 - 43 | 
|---|---|
| Main Authors | , , | 
| Format | Book Chapter | 
| Language | English | 
| Published | 
        Switzerland
          Springer International Publishing AG
    
        2018
     Springer International Publishing  | 
| Online Access | Get full text | 
| ISBN | 9783319927312 3319927310  | 
| DOI | 10.1007/978-3-319-92733-6_2 | 
Cover
| Abstract | Automata are a special class of abstract devices for computation, also called machines, which have been the subject of a vast amount of research for several decades [64]. | 
    
|---|---|
| AbstractList | Automata are a special class of abstract devices for computation, also called machines, which have been the subject of a vast amount of research for several decades [64]. | 
    
| Author | Zanella, Marina Lamperti, Gianfranco Zhao, Xiangfu  | 
    
| Author_xml | – sequence: 1 fullname: Zanella, Marina – sequence: 2 fullname: Zhao, Xiangfu – sequence: 3 fullname: Lamperti, Gianfranco  | 
    
| BookMark | eNo1j8tOwzAQRY14CFoqPoANP2AYz9ixvawqCkiVWMDecp0JBEoS4vT_SR-sRnd0z5XORJw1bcNC3Cq4VwD2wVsnSZLy0qMlkkXAEzGh8bHP9lTMxsp_VnghJgo0orLeuUsxy_kLABDIoXZX4mZZN_XAd_Pt0P7EIV6L8ypuMs-Odyrelo_vi2e5en16WcxXsnMGJVYATGvrmUyKZREVlCkhGE8EKZXOOC4SoyanyeAayUGqDBcuJW8qmgp1WM1dXzcf3Id1237noCDsJMNoECiMDmEvFUbJkcED0_Xt75bzEHgHJW6GPm7SZ-wG7nMwmrTVPqAJRPQHwWdTIQ | 
    
| ContentType | Book Chapter | 
    
| Copyright | Springer International Publishing AG, part of Springer Nature 2018 | 
    
| Copyright_xml | – notice: Springer International Publishing AG, part of Springer Nature 2018 | 
    
| DBID | FFUUA | 
    
| DOI | 10.1007/978-3-319-92733-6_2 | 
    
| DatabaseName | ProQuest Ebook Central - Book Chapters - Demo use only | 
    
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc | 
    
| Discipline | Engineering Computer Science  | 
    
| EISBN | 3319927337 9783319927336  | 
    
| EndPage | 43 | 
    
| ExternalDocumentID | EBC5434749_25_33 | 
    
| GroupedDBID | 0D6 0DA 38. AABBV ACBPT ACOUV AEJLV AEKFX AEZAY ALMA_UNASSIGNED_HOLDINGS ANXHU AZZ BBABE BICGV BJAWL BUBNW CVGDX CZZ FFUUA FOYMO IEZ NQNQZ OEBZI SBO TPJZQ Z5O Z7R Z7S Z7U Z7V Z7W Z7X Z7Y Z7Z Z81 Z82 Z83 Z84 Z85 Z87 Z88  | 
    
| ID | FETCH-LOGICAL-p852-2f00e3b79e35cad6a10dcc2059330ccd858e6ce24384352b2380cf5e68cc95f3 | 
    
| ISBN | 9783319927312 3319927310  | 
    
| IngestDate | Tue Jul 29 19:53:37 EDT 2025 Tue Oct 21 02:13:18 EDT 2025  | 
    
| IsPeerReviewed | false | 
    
| IsScholarly | false | 
    
| LCCallNum | Q334-342 | 
    
| Language | English | 
    
| LinkModel | OpenURL | 
    
| MergedId | FETCHMERGED-LOGICAL-p852-2f00e3b79e35cad6a10dcc2059330ccd858e6ce24384352b2380cf5e68cc95f3 | 
    
| OCLC | 1042217988 | 
    
| PQID | EBC5434749_25_33 | 
    
| PageCount | 25 | 
    
| ParticipantIDs | springer_books_10_1007_978_3_319_92733_6_2 proquest_ebookcentralchapters_5434749_25_33  | 
    
| PublicationCentury | 2000 | 
    
| PublicationDate | 2018 20180621  | 
    
| PublicationDateYYYYMMDD | 2018-01-01 2018-06-21  | 
    
| PublicationDate_xml | – year: 2018 text: 2018  | 
    
| PublicationDecade | 2010 | 
    
| PublicationPlace | Switzerland | 
    
| PublicationPlace_xml | – name: Switzerland – name: Cham  | 
    
| PublicationTitle | Introduction to Diagnosis of Active Systems | 
    
| PublicationYear | 2018 | 
    
| Publisher | Springer International Publishing AG Springer International Publishing  | 
    
| Publisher_xml | – name: Springer International Publishing AG – name: Springer International Publishing  | 
    
| SSID | ssj0002038248 | 
    
| Score | 1.5393019 | 
    
| Snippet | Automata are a special class of abstract devices for computation, also called machines, which have been the subject of a vast amount of research for several... | 
    
| SourceID | springer proquest  | 
    
| SourceType | Publisher | 
    
| StartPage | 19 | 
    
| Title | Finite Automata | 
    
| URI | http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=5434749&ppg=33 http://link.springer.com/10.1007/978-3-319-92733-6_2  | 
    
| hasFullText | 1 | 
    
| inHoldings | 1 | 
    
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1NT9wwELVgubSVWqCtoF_aA6ciV4m_4hy3dAEh2ktptTcrdhzEgV0Ku5f--s7EdnaT9kIvUZRYkTPPciYz894QcmRdk-dWceqF9VSUjaJVYzNqRV3LgilmSyQKf_2mzn-Ii5mcrZsgtuySpf3kfv-TV_I_qMI1wBVZso9AtnsoXIBzwBeOgDAcB85vP8yaygWDWisCCB7kl1A0F_RFJu021tMjx-hwhUUtVeToxMbZMWzchkxnsFium1VXpVOBUx0T_mdwq8EuHIvNVXZ6gz7r8WS1XNwGllsXQ8j1IIaQYoiDKORGIGxy1vvv5ByrVgseKqD_2oU3Cy-QJIVDOVWGrT86KdEeVDAGktfTzyfIeC1EaZg0MOTuF8U-YZhPj01Ttsk2TGNEdibTi8ufXVSNZVwzoZHEk6YYhb3WU-60p4K88GCKvT-NQXK89Tmudskz5KGMkSACs94jW36-T16kLhzjuCnvk6cbkpIvyfOAyDgh8op8P51enZzT2PSC3mnJKGuyzHNblJ5LV9WqyrPaOYaNF3nmXK2l9tjETXANji6z4HFlrpFeaedK2fDXZDRfzP0BGYvcOm6dU6V2QpTKMnBDhIRNu_S1KOpDcpxe1LSJ-VgN7MJrPZgeBIfkY7KFwcEPJuldgw0NN2BD09rQgA3fPOrRb8mT9Zp8R0bL-5V_D57e0n6I8P4BSfpPMQ | 
    
| linkProvider | Library Specific Holdings | 
    
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Introduction+to+Diagnosis+of+Active+Systems&rft.au=Zanella%2C+Marina&rft.au=Zhao%2C+Xiangfu&rft.au=Lamperti%2C+Gianfranco&rft.atitle=Finite+Automata&rft.date=2018-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783319927312&rft_id=info:doi/10.1007%2F978-3-319-92733-6_2&rft.externalDBID=33&rft.externalDocID=EBC5434749_25_33 | 
    
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F5434749-l.jpg |