skip to content
Formal languages and computation : models and their applications Preview this item
ClosePreview this item
Checking...

Formal languages and computation : models and their applications

Author: Alexander Meduna
Publisher: Boca Raton, FL : CRC Press, ©2014.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
INTRODUCTIONMathematical BackgroundLogic Sets and SequencesRelationsGraphsFormal Languages and Rewriting SystemsFormal LanguagesRewriting systemsSynopsis of the BookREGULAR LANGUAGES AND THEIR MODELS Models for Regular LanguagesFinite AutomataRestricted Finite AutomataRegular Expressions and their Equivalence with Finite AutomataImplementation of Finite AutomataIntroduction to Lexical AnalysisImplementation of a  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Meduna, Alexander, 1957-
Formal languages and computation
(DLC) 2013025935
(OCoLC)768171493
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Alexander Meduna
ISBN: 1466513454 9781466513457
OCLC Number: 880898403
Description: 1 online resource (xix, 287 pages) : illustrations
Contents: Mathematical background --
Formal languages and rewriting systems --
Models for regular languages --
Applications of regular expressions and finite automata: lexical analysis --
Properties of regular languages --
Models for context-free languages --
Applications of models for context-free languages: syntax analysis --
Properties of context-free languages --
Turing machines and their variants --
Applications of Turing machines: theory of computation --
Turing machines and general grammars --
Concluding and bibliographical remarks --
Appendixes: I. Index to special symbols --
II. Index to language models.
Responsibility: Alexander Meduna.

Abstract:

INTRODUCTIONMathematical BackgroundLogic Sets and SequencesRelationsGraphsFormal Languages and Rewriting SystemsFormal LanguagesRewriting systemsSynopsis of the BookREGULAR LANGUAGES AND THEIR MODELS Models for Regular LanguagesFinite AutomataRestricted Finite AutomataRegular Expressions and their Equivalence with Finite AutomataImplementation of Finite AutomataIntroduction to Lexical AnalysisImplementation of a ScannerProperties of Regular LanguagesPumping Lemma for Regular LanguagesClosure PropertiesCONTEXT-FREE LANGUAGES AND THEIR MODELS Models for Context-Free LanguagesContext-Free GrammarsRestricted Context-Free GrammarsPushdown AutomataApplications of Models for Context-Free Languages: Syntax AnalysisIntroduction to Syntax AnalysisTop-Down ParsingBottom-Up ParsingProperties of Context-Free LanguagesPumping Lemma for Context-Free LanguagesClosure PropertiesTURING MACHINES AND COMPUTATIONTuring Machines and Their VariantsTuring Machines and Their LanguagesRestricted Turing MachinesUniversal Turing MachinesApplications of Turing Machines: Theory of ComputationComputabilityDecidabilityTuring Machines and General GrammarsGeneral Grammars and Their Equivalence with Turing MachinesContext-Sensitive Grammars and Linear-Bounded AutomataRelations between Language FamiliesCONCLUSION Concluding and Bibliographical RemarksSummaryModern TrendsBibliographical and Historical Remarks.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/880898403> # Formal languages and computation : models and their applications
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "880898403" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/flu> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1060568350#Place/boca_raton_fl> ; # Boca Raton, FL
    rdfs:comment "Warning: This malformed URI has been treated as a string - 'http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=1443839";target="_blank'" ;
    schema:about <http://dewey.info/class/005.131/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1060568350#Topic/machine_theory> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/1060568350#Topic/formal_languages> ; # Formal languages
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2014" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1060568350#Person/meduna_alexander_1957> ; # Alexander Meduna
    schema:datePublished "2014" ;
    schema:description "Mathematical background -- Formal languages and rewriting systems -- Models for regular languages -- Applications of regular expressions and finite automata: lexical analysis -- Properties of regular languages -- Models for context-free languages -- Applications of models for context-free languages: syntax analysis -- Properties of context-free languages -- Turing machines and their variants -- Applications of Turing machines: theory of computation -- Turing machines and general grammars -- Concluding and bibliographical remarks -- Appendixes: I. Index to special symbols -- II. Index to language models."@en ;
    schema:description "INTRODUCTIONMathematical BackgroundLogic Sets and SequencesRelationsGraphsFormal Languages and Rewriting SystemsFormal LanguagesRewriting systemsSynopsis of the BookREGULAR LANGUAGES AND THEIR MODELS Models for Regular LanguagesFinite AutomataRestricted Finite AutomataRegular Expressions and their Equivalence with Finite AutomataImplementation of Finite AutomataIntroduction to Lexical AnalysisImplementation of a ScannerProperties of Regular LanguagesPumping Lemma for Regular LanguagesClosure PropertiesCONTEXT-FREE LANGUAGES AND THEIR MODELS Models for Context-Free LanguagesContext-Free GrammarsRestricted Context-Free GrammarsPushdown AutomataApplications of Models for Context-Free Languages: Syntax AnalysisIntroduction to Syntax AnalysisTop-Down ParsingBottom-Up ParsingProperties of Context-Free LanguagesPumping Lemma for Context-Free LanguagesClosure PropertiesTURING MACHINES AND COMPUTATIONTuring Machines and Their VariantsTuring Machines and Their LanguagesRestricted Turing MachinesUniversal Turing MachinesApplications of Turing Machines: Theory of ComputationComputabilityDecidabilityTuring Machines and General GrammarsGeneral Grammars and Their Equivalence with Turing MachinesContext-Sensitive Grammars and Linear-Bounded AutomataRelations between Language FamiliesCONCLUSION Concluding and Bibliographical RemarksSummaryModern TrendsBibliographical and Historical Remarks."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1060568350> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/768171493> ;
    schema:name "Formal languages and computation : models and their applications"@en ;
    schema:productID "880898403" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/880898403#PublicationEvent/boca_raton_fl_crc_press_2014> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1060568350#Agent/crc_press> ; # CRC Press
    schema:url <http://www.crcnetbase.com/isbn/9781466513495> ;
    schema:url <http://proquest.tech.safaribooksonline.de/9781466513495> ;
    schema:url <http://proquest.safaribooksonline.com/9781466513495> ;
    schema:url "http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=1443839";target="_blank" ;
    schema:workExample <http://worldcat.org/isbn/9781466513457> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/880898403> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1060568350#Person/meduna_alexander_1957> # Alexander Meduna
    a schema:Person ;
    schema:birthDate "1957" ;
    schema:familyName "Meduna" ;
    schema:givenName "Alexander" ;
    schema:name "Alexander Meduna" ;
    .

<http://experiment.worldcat.org/entity/work/data/1060568350#Place/boca_raton_fl> # Boca Raton, FL
    a schema:Place ;
    schema:name "Boca Raton, FL" ;
    .

<http://worldcat.org/isbn/9781466513457>
    a schema:ProductModel ;
    schema:isbn "1466513454" ;
    schema:isbn "9781466513457" ;
    .

<http://www.worldcat.org/oclc/768171493>
    a schema:CreativeWork ;
    rdfs:label "Formal languages and computation" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/880898403> ; # Formal languages and computation : models and their applications
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.