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:
Bibliographic Details
Published inIntroduction to Diagnosis of Active Systems pp. 19 - 43
Main Authors Zanella, Marina, Zhao, Xiangfu, Lamperti, Gianfranco
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2018
Springer International Publishing
Online AccessGet full text
ISBN9783319927312
3319927310
DOI10.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