- Trending Categories
- Data Structure
- Networking
- RDBMS
- Operating System
- Java
- iOS
- HTML
- CSS
- Android
- Python
- C Programming
- C++
- C#
- MongoDB
- MySQL
- Javascript
- PHP

- Selected Reading
- UPSC IAS Exams Notes
- Developer's Best Practices
- Questions and Answers
- Effective Resume Writing
- HR Interview Questions
- Computer Glossary
- Who is Who

Let us understand the push down automata (PDA) and the linear bounded automata (LBA) in the theory of computation (TOC).

A PDA can be formally described as seven tuples (Q, Σ,S, δ,q0,I,F)

Where,

- Q is finite no of states
- Σ is input alphabet
- S is stack symbol
- Δ is the transition function: QX(ΣU{e})XSXQ
- q0 is the initial state (q0 belongs to Q)
- I is the initial state top symbol
- F is a set of accepting states (F belongs to Q)

A Push-Down Automaton is a finite-state machine that is equipped with a memory device that functions as a push-down store.

Push-down automata are equivalent to context-free grammars, also known as the Chomsky Type 2 grammars, which means that, given a context-free grammar G, a push-down automaton A can be devised that recognises just the sentences generated by G.

This relationship between context-free grammars and push-down automata was first described by Chomsky (1962), The machine closely related to a push-down automaton that was employed earlier by Yngve (1960) to model the transient memory required by the human processor to analyse the sentences with a various different structures which is generated by context-free grammars.

The essentials of his method are still applied in studies of short-term memory and sentence processing with the store of a push-down automaton that serves as a model of transient memory employed to analyse sentences with different structures.

A Push-Down Automaton consists of four components −

- A Control Unit.
- A Read Unit.
- An Input Tape.
- A Memory Unit.

The operations of the unit’s control, read, and tape are same as those of a finite-state automaton, except that the transitions executed by the control unit of a push-down automaton involve the operations to store symbols, and retrieve symbols from the memory unit.

The memory unit of a push-down automaton operates as a stack or push-down store, which leads to the name for this variety of abstract machine.

A linear bounded automaton (LBA) is called a multi-track Turing machine which has only one tape which is exactly the same length as the input. That seems quite reasonable. We allow the computing device to use just the storage it was given at the beginning of its computation.

As a safety feature, we shall employ end markers on our lba tapes and never allow the machine to go past them. This will ensure that the storage bounds are maintained and help keep our machines from leaving their tapes. At this point, the question of accepting sets arises. Let's have linear bounded automata accept just like Turing machines.

Thus for LBA halting means accepting. For these new machines computation is restricted to an area bounded by a constant (the number of tracks) times the length of the input. This is very much like a programming environment where the sizes of values for variables are bounded.

- Related Questions & Answers
- What is Linear bounded automata in TOC?
- What is Push down automata in TOC?
- Explain non-deterministic push down automata in TOC?
- Prove that Linear bounded automata LBA ⊂ PSPACE in TOC?
- Prove that Linear bounded automata LBA ⊂ PSPACE in TOC?
- How to convert context free grammar to push down automata?
- Explain if the CFG is recognized by Non-deterministic push down automata
- What is finite automata?
- Distinguish between Finite Automata and Turing Machine
- Can we convert a non-deterministic finite automata into a deterministic finite Automata?
- Efficient Construction of Finite Automata
- Explain Deterministic Finite Automata in TOC.
- What is Non deterministic finite automata?
- What is Deterministic Finite Automata (DFA)?
- Explain the relationship between Finite Automata and Regular Expression.

Advertisements