Questions tagged [chomsky-hierarchy]

The Chomsky Hierarchy is the model proposed by Noam Chomsky in 1956 for classes of Formal Grammars. They refer to Type-0, Type-1, Type-2 and Type-3 grammars which refer to Unrestricted Grammars, Content Sensitive Grammars, Context Free Grammars and Regular Grammars.

73 questions
4
votes
1 answer

Where can we put primitive recursive functions in Chomsky hierarchy?

I am currently studying recursion theory, but I cannot really understand where to put the Primitive Recursive functions in the Chomsky hierarchy. In my understanding, Primitive Recursive functions contain all finite languages but are not contained…
Briomkez
  • 95
  • 7
1
vote
1 answer

What is the Chomsky level of pattern matching?

Pattern matching in programming languages as for example in Racket is some kind of parsing. Which level in the Chomsky hierarchy does this parsing technique have? Is it type-3 like regular expressions or type-2 or even lower?
ceving
  • 111
  • 3
1
vote
1 answer

simulate PDA using LBA

urestricted -> turing machine context-sensitive -> linear bounded automaton (LBA) context-free -> pushdown automaton (PDA) regular -> finite state machine Hi, I am kind of confused about relation between LBA and PDA. Is the stack in pushdown…
Guanwei HU
  • 11
  • 1
1
vote
0 answers

what is the difference between L-system and string re-writing?

I was going through the L-System Wikipedia (https://en.wikipedia.org/wiki/L-system) and it mentions that L-Systems are very similar to unrestricted grammars / string re-writing. After going through the Wikipedia, I can't see any difference between…
Glubs
  • 23
  • 5
0
votes
0 answers

Is this a correct Type 1 grammar?

The task was to give a type 1 grammar(can't be of type 2) which accepts the following words: baaaab, abb, abba(ab)^i for all i ∈ ℕ and doesn't accept these words: aabb, bba, bbabb(baaa)^i for all i ∈ ℕ My solution: S -> V | W V -> a B B W -> W W | A…
tour77
  • 1
  • 1