An Introduction to Formal Languages and Automata

An Introduction to Formal Languages and Automata
ISBN-10
076370296X
ISBN-13
9780763702960
Category
Computers / Machine Theory
Pages
377
Language
English
Published
1997
Publisher
Jones and Bartlett Publishers
Author
Peter Linz

Description

An Introduction to Formal Languages & Automata provides an excellent presentation of the material that is essential to an introductory theory of computation course. The text was designed to familiarize students with the foundations & principles of computer science & to strengthen the students' ability to carry out formal & rigorous mathematical argument. Employing a problem-solving approach, the text provides students insight into the course material by stressing intuitive motivation & illustration of ideas through straightforward explanations & solid mathematical proofs. By emphasizing learning through problem solving, students learn the material primarily through problem-type illustrative examples that show the motivation behind the concepts, as well as their connection to the theorems & definitions.

Other editions

Similar books

  • 芝加哥大学论文写作指南
    By (美)凯特·L·杜拉宾

    在大学里撰写研究报告、本科硕士论文、博士论文的学生们现在正生活在一个充满电子技术的世界里,这在1937年是不可想象的——那一年,学术论文负责人凯特·L·杜拉宾首先汇编了 ...

  • Emerging Technologies in Hazardous Waste Management V
    By Daniel William Tedder, American Chemical Society. Division of Industrial and Engineering Chemistry

    Reimann , G. A .; Grandy , J. D .; Eddy , T. L .; Anderson , G. L. In Nuclear and Hazardous Waste Management Spectrum '92 ( Proc . ) ; American Nuclear Society , Inc. , La Grange Park , IL , 1992 ; Vol . 2 , pp . 1083-1088 . 3 .

  • The Press and the Presidency: From George Washington to Ronald Reagan
    By John William Tebbel, Sarah Miles Watts

    ... 223-24 Bayard , Thomas F. , 289 Blair , Montgomery , 206 Beach , Moses Y. , 125-26 Blessing , Tim H. , 256 Beech ... Karl A. , 432 Boynton , Charles , 335 Bickham , W. D. , 235 Bradford , John , 46 Biddle , Nicholas , 87 Bradford ...

  • 机器学习及其应用2017高阳
    By _松_主_

    评审委员会名誉主任委员:张效祥主任委员:唐泽圣副主任委员:陆汝钤委员:(以姓氏笔画为序)王珊吕建李晓明林惠民罗军舟郑纬民施伯乐焦金生谭铁牛 序第一台电子计算机诞生于20世纪40年代。到目前为止,计算机的发展已远远超出了其创始者的想象。

  • Code: The Hidden Language of Computer Hardware and Software
    By Charles Petzold

    What do flashlights, the British invasion, black cats, and seesaws have to do with computers? In CODE, they show us the ingenious ways we manipulate language and invent new means...

  • Genetic Algorithms in Search, Optimization, and Machine Learning
    By David Edward Goldberg

    A gentle introduction to genetic algorithms. Genetic algorithms revisited: mathematical foundations. Computer implementation of a genetic algorithm. Some applications of genetic algorithms. Advanced operators and techniques in genetic search. Introduction...

  • Logic for Computer Science
    By Michael Clarke, Steve Reeves

    An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in...

  • 机器__:_公理到算法
    By 于_

    �_是一本基于公理研究__算法的_。共17章,由_部分_成。第一部分是机器__公理以及部分理_演_,包括第1、2、6、8章,_述__公理以及相_的聚_、分_理_。第二部分_注如何_公理推出_典__算法,包括__、多_和多源__。第3_5章_____,分__述密度估_、回_和___据降_。第7、9_16章_多___,包括聚_、神_网_、K近_、支持向量机、Logistic回_、__斯分_、_策_、多_降_与升_等_典算法。最后第17章研究了多源_据____。本_可以作_高等院校_算机、自_化、__、___、人工智能及相___的研究生教材,也可以供机器__的_好者_考。

  • Introduction to Automata Theory, Languages, and Computation
    By John E. Hopcroft, Jeffrey D. Ullman, Rajeev Motwani

    This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical...

  • Introduction to Automata Theory, Languages, and Computation
    By John E. Hopcroft, Jeffrey D. Ullman, Rajeev Motwani

    It has been more than 20 years since this classic book on formal languages, automata theory, and computational complexity was first published. With this long-awaited revision, the authors continue to...