- Trending Categories
Data Structure
Networking
RDBMS
Operating System
Java
iOS
HTML
CSS
Android
Python
C Programming
C++
C#
MongoDB
MySQL
Javascript
PHP
Physics
Chemistry
Biology
Mathematics
English
Economics
Psychology
Social Studies
Fashion Studies
Legal Studies
- Selected Reading
- UPSC IAS Exams Notes
- Developer's Best Practices
- Questions and Answers
- Effective Resume Writing
- HR Interview Questions
- Computer Glossary
- Who is Who
What is Linear bounded automata in TOC?
A deterministic linear bounded automaton (LBA) is 9-tuple automata
G = ( Q, Σ, E, δ, ε, q0, GL, GR, F)
Where,
Q is set of all states
Σ is set of all terminals
E input alphabet.
δ is set of transitions
q0 initial state
GL left bound of tape
GR right bound of tape.
F set of final state
A linear bounded automaton is called a multi-track non-deterministic Turing machine which has a tape of some bounded finite length.
Length = function (Length of the initial input string, constant c)
The computation in linear bounded automata is restricted to the constant bounded area. The input alphabet here contains two special symbols that serve as left end markers and right end markers. It explains that the transitions neither move to the left of the left end marker nor to the right of the right end marker of the tape.
A deterministic linear bounded automaton is context-sensitive and the linear bounded automaton with empty language is undecidable.
Problem
How linear bounded automata is constructed to accept the language L={an|n=m2,m>=1}?
Solution
For the given language L={an|n=m2,m>=1}, the strings it is generated is −
L(G) ={a.aa.ab.aaa.aab.abb…….}
S aA, A,aA,A,B,B,bB,B
S aA, aB, a, a (accepted)
S aA, aaA aaB, aa, aa (accepted)
S aA, aB abB, ab, ab (accepted)
SaA, aaA, aaaA, aaa aaa (accepted)
SaA, aaA, aaB, aabB aab, aab (accepted)
SaA, aB, abB, abbB, abb, abb (accepted)
We can prove every single string in L(G) here is accepted by the language by the production set.
G={{S,AB};{a,b}S, {S aA, A,aA/B, B/bB}}.
- Related Articles
- Prove that Linear bounded automata LBA ⊂ PSPACE in TOC?
- Compare Push down automata and Linear bounded automata
- What is Push down automata in TOC?
- Explain Deterministic Finite Automata in TOC.
- Explain Non-Deterministic Finite Automata in TOC.
- Explain the various applications of automata in TOC
- Explain non-deterministic push down automata in TOC?
- Explain about right linear regular grammars in TOC
- Explain about left linear regular grammar in TOC
- What is finite automata?
- What is Decidability in TOC?
- How to convert FA to Left Linear Grammar in TOC?
- What is Finite Automata in Compiler Design?
- What is Inductive Hypothesis in TOC?
- What is unambiguous grammar in TOC?
