## DFA (Recognizer) for valid Pascal identifiers

Problem – Implement a recognizer for pascal identifiers based on a DFA that accepts strings belonging to the definition of the language of the same.… Read More »

- TOC | Regular expression to ∈-NFA
- TOC | Designing Finite Automata from Regular Expression (Set 2)
- TOC | Designing Finite Automata from Regular Expression (Set 3)
- TOC | Designing Finite Automata from Regular Expression (Set 4)
- TOC | Designing Finite Automata from Regular Expression (Set 6)
- Program for Gauss Siedel Method (Computational Mathematics)
- TOC | Designing Finite Automata from Regular Expression (Set 5)
- TOC | Designing Finite Automata from Regular Expression (Set 7)
- TOC | Designing Non-Deterministic Finite Automata (Set 3)
- TOC | Designing Finite Automata from Regular Expression (Set 8)
- TOC | Designing Non-Deterministic Finite Automata (Set 4)
- TOC | Designing Non-Deterministic Finite Automata (Set 5)
- Theory of Computation | Decidability table
- Regular Expression Vs Context Free Grammar
- TOC | Finite Automata with Output (Set 3)
- TOC | Conversion of Moore to Mealy machine (Set 10)
- Construct a DFA which accept the language L = {w | w ∈ {a,b}* and Na(w) mod 3 = Nb (w) mod 3}
- Multitape Nondeterministic Turing Machine simulator
- TOC | Moore and Mealy machines to count number of substring ‘ab’
- TOC | Finite Automata with Output (Set 11)
- TOC | Conversion of Moore to Mealy machine (Set 4)
- Construct a DFA which accept the language L = {a
^{n}b^{m}| n > =1, (m) mod 3 = 1} - NFA machines accepting all strings that ends or not ends with substring 'ab'
- TOC | Finite Automata with Output (Set 5)
- Construct DFA which interpreted as binary number is divisible by 2, 3, 4
- TOC | Moore and Mealy machines to produce 'A', 'B', 'C' depends on inputs that end with ’10’ or with ’11’ else other
- TOC | Finite Automata with Output (Set 6)
- TOC | Conversion of Moore to Mealy machine (Set 9)
- TOC | Construction of the machines to produce residue modulo ‘2’ of binary numbers
- NPDA for accepting the language L = {wwR | w ∈ (a,b)*}

Problem – Implement a recognizer for pascal identifiers based on a DFA that accepts strings belonging to the definition of the language of the same.… Read More »

This article tackles both theoretical and practical issues in Computer Science (CS). It reviews Turing Machines (TMs), a fundamental class of automata and presents a… Read More »

Prerequisite: Finite Automata Introduction Problem-1: Construction of a minimal NFA accepting a set of strings over {a, b} in which each string of the language… Read More »

Problem: Construct a deterministic finite automata (DFA) for accepting the language L = {w | w ∈ {a,b}* and Na(w) mod 3 = Nb (w)… Read More »

Problem: Construct a DFA which accept the language L = {anbm | n > =1, (m) mod 3 = 1}. Explanation: For constructing the DFA,… Read More »

Prerequisite – Pushdown Automata, Pushdown Automata Acceptance by Final State Problem: Design a non deterministic PDA for accepting the language L = {wwR w ∈… Read More »

The Gauss Seidel method is an iterative process to solve a square system of (multiple) linear equations. It is also prominently known as ‘Liebmann’ method.… Read More »

Prerequisite: Finite Automata Introduction, Designing Finite Automata Problem-1: Construct DFA, which accepts set of all strings over {0, 1} which interpreted as binary number is… Read More »

Prerequisite – Finite Automata (FA) Compound FA is the resultant DFA formed after performing operation (∪, ∩, -) on given DFAs D1 and D2. D1… Read More »

A standard Turing Machine is a machine which on providing an input moves either to the left or right and it may overwrite the existing… Read More »

Regular Expressions are capable of describing the syntax of Tokens. Any syntactic construct that can be described by Regular Expression can also be described by… Read More »

Prerequisite: Mealy and Moore Machines, Difference between Mealy machine and Moore machine In this article, we will see some designing of Finite Automata with Output… Read More »

Prerequisite – Finite Automata Introduction, Designing Finite Automata from Regular Expression (Set 1) ∈-NFA is similar to the NFA but have minor difference by epsilon… Read More »

Prerequisite: Finite automata, Regular expressions, grammar and language, Designing finite automata from Regular expression (Set 7) In the below article, we shall see some Designing… Read More »

Prerequisite: Finite automata, Regular expressions, grammar and language, Designing finite automata from Regular expression (Set 6) In the below article, we shall see some Designing… Read More »