Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
4Activity
0 of .
Results for:
No results containing your search query
P. 1
Chapter 12. Hierarchy of Models (II)

Chapter 12. Hierarchy of Models (II)

Ratings: (0)|Views: 44 |Likes:
Published by kims3515354178

More info:

Published by: kims3515354178 on Dec 05, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPT, PDF, TXT or read online from Scribd
See more
See less

04/18/2012

pdf

text

original

 
1
Hierarchy of the Models
 
2
 
In Chapter 7 we saw the Chomsky hierarchy among languages, automata, and other models and proved the horizontalrelations (i.e., the characterization) at the lowest level of the hierarchy. Figures (a) and (b), respectively, are the copies of therelations among the classes of languages and automata presented in Chapter 7 (see next slide). Recall that if a language is amember of a class of languages at a lower level, then it is also a member of an upper class. If a language is recognizable by anautomaton at a lower level, then it is also recognizable by an automaton at an upper level. But the reverse of these relations doesnot hold. An upper lever language class has a member that does not belong to a lower level class, and there is an automaton belonging to an upper level whose language cannot be recognized by any automaton belonging to a lower level of the hierarchy.
Type-0LType-1LType-2LType-3L
(a) Containment relations of the language classesTMLBAPDAFA(b) Containment relations of automata capability
12. Hierarchy of the Models: Proper Containment
 
3
The Chomsky Hierarchy
Review
Hierarchy: Proper Containment
RecursivelyEnumerableSets (type 0)TuringMachines(TM)Post System,Markov Algorithms,
µ
-recursive FunctionsRegular ExpressionContext-sensitiveLanguages(type 1)Context-freeLanguages(type 2)Regular Languages(type3)Linear-boundedAutomata(LBA)PushdownAutomata(PDA)Finite StateAutomata(FA).....Languages (grammars)MachinesOther Models
:
Containment
:
Characterization

Activity (4)

You've already reviewed this. Edit your review.
1 hundred reads
ggardu liked this
xuke liked this
arnknr liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->