Short Notes on Automata Theory
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science and discrete mathematics (a subject of study in both mathematics and computer science). The word automata (the plural of automaton) comes from the Greek word αὐτόματα, which means "self-making".
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDAAshish Duggal
Push Down Automata (PDA) is part of TOC (Theory of Computation)
From this presentation you will get all the information related to PDA also it will help you to easily understand this topic. There is also one example.
This PPT is very helpful for Computer science and Computer Engineer
(B.C.A., M.C.A., B.TECH. , M.TECH.)
Automata theory - describes to derives string from Context free grammar - derivation and parse tree
normal forms - Chomsky normal form and Griebah normal form
FellowBuddy.com is an innovative platform that brings students together to share notes, exam papers, study guides, project reports and presentation for upcoming exams.
We connect Students who have an understanding of course material with Students who need help.
Benefits:-
# Students can catch up on notes they missed because of an absence.
# Underachievers can find peer developed notes that break down lecture and study material in a way that they can understand
# Students can earn better grades, save time and study effectively
Our Vision & Mission – Simplifying Students Life
Our Belief – “The great breakthrough in your life comes when you realize it, that you can learn anything you need to learn; to accomplish any goal that you have set for yourself. This means there are no limits on what you can be, have or do.”
Like Us - https://www.facebook.com/FellowBuddycom
Gives an overview about Process, PCB, Process States, Process Operations, Scheduling, Schedulers, Interprocess communication, shared memory and message passing systems
Short Notes on Automata Theory
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science and discrete mathematics (a subject of study in both mathematics and computer science). The word automata (the plural of automaton) comes from the Greek word αὐτόματα, which means "self-making".
Push Down Automata (PDA) | TOC (Theory of Computation) | NPDA | DPDAAshish Duggal
Push Down Automata (PDA) is part of TOC (Theory of Computation)
From this presentation you will get all the information related to PDA also it will help you to easily understand this topic. There is also one example.
This PPT is very helpful for Computer science and Computer Engineer
(B.C.A., M.C.A., B.TECH. , M.TECH.)
Automata theory - describes to derives string from Context free grammar - derivation and parse tree
normal forms - Chomsky normal form and Griebah normal form
FellowBuddy.com is an innovative platform that brings students together to share notes, exam papers, study guides, project reports and presentation for upcoming exams.
We connect Students who have an understanding of course material with Students who need help.
Benefits:-
# Students can catch up on notes they missed because of an absence.
# Underachievers can find peer developed notes that break down lecture and study material in a way that they can understand
# Students can earn better grades, save time and study effectively
Our Vision & Mission – Simplifying Students Life
Our Belief – “The great breakthrough in your life comes when you realize it, that you can learn anything you need to learn; to accomplish any goal that you have set for yourself. This means there are no limits on what you can be, have or do.”
Like Us - https://www.facebook.com/FellowBuddycom
Gives an overview about Process, PCB, Process States, Process Operations, Scheduling, Schedulers, Interprocess communication, shared memory and message passing systems
This is one of a type of Analog to Digital Converter (ADC).
Through this presentation, you will have a clear view of how an ADC works. This one specifies one of the types of Analog to Digital Convertor.
Through this presentation, you will get to know about Edge computing and explore the fields where it is needed.
You can start exploring the technical knowledge by seeing what industries are working on now-days
Industrial Training at Shahjalal Fertilizer Company Limited (SFCL)MdTanvirMahtab2
This presentation is about the working procedure of Shahjalal Fertilizer Company Limited (SFCL). A Govt. owned Company of Bangladesh Chemical Industries Corporation under Ministry of Industries.
Water scarcity is the lack of fresh water resources to meet the standard water demand. There are two type of water scarcity. One is physical. The other is economic water scarcity.
Final project report on grocery store management system..pdfKamal Acharya
In today’s fast-changing business environment, it’s extremely important to be able to respond to client needs in the most effective and timely manner. If your customers wish to see your business online and have instant access to your products or services.
Online Grocery Store is an e-commerce website, which retails various grocery products. This project allows viewing various products available enables registered users to purchase desired products instantly using Paytm, UPI payment processor (Instant Pay) and also can place order by using Cash on Delivery (Pay Later) option. This project provides an easy access to Administrators and Managers to view orders placed using Pay Later and Instant Pay options.
In order to develop an e-commerce website, a number of Technologies must be studied and understood. These include multi-tiered architecture, server and client-side scripting techniques, implementation technologies, programming language (such as PHP, HTML, CSS, JavaScript) and MySQL relational databases. This is a project with the objective to develop a basic website where a consumer is provided with a shopping cart website and also to know about the technologies used to develop such a website.
This document will discuss each of the underlying technologies to create and implement an e- commerce website.
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdffxintegritypublishin
Advancements in technology unveil a myriad of electrical and electronic breakthroughs geared towards efficiently harnessing limited resources to meet human energy demands. The optimization of hybrid solar PV panels and pumped hydro energy supply systems plays a pivotal role in utilizing natural resources effectively. This initiative not only benefits humanity but also fosters environmental sustainability. The study investigated the design optimization of these hybrid systems, focusing on understanding solar radiation patterns, identifying geographical influences on solar radiation, formulating a mathematical model for system optimization, and determining the optimal configuration of PV panels and pumped hydro storage. Through a comparative analysis approach and eight weeks of data collection, the study addressed key research questions related to solar radiation patterns and optimal system design. The findings highlighted regions with heightened solar radiation levels, showcasing substantial potential for power generation and emphasizing the system's efficiency. Optimizing system design significantly boosted power generation, promoted renewable energy utilization, and enhanced energy storage capacity. The study underscored the benefits of optimizing hybrid solar PV panels and pumped hydro energy supply systems for sustainable energy usage. Optimizing the design of solar PV panels and pumped hydro energy supply systems as examined across diverse climatic conditions in a developing country, not only enhances power generation but also improves the integration of renewable energy sources and boosts energy storage capacities, particularly beneficial for less economically prosperous regions. Additionally, the study provides valuable insights for advancing energy research in economically viable areas. Recommendations included conducting site-specific assessments, utilizing advanced modeling tools, implementing regular maintenance protocols, and enhancing communication among system components.
1. ITM
Gwalior
1
INSTITUTE OF TECHNOLOGY AND MANAGEMENT
TOPIC: TYPES OF GRAMMAR
CS-501(A):Theory of computation
Presented to- Presented by-
Dr . Deepak Gupta Abhay Dhupar 0905CS191001
Associate Professor Abhay Singh 0905CS191002
(Dept. of CSE) Abhinav Goyal 0905CS191003
Abhinav Gupta 0905CS191004
2. GRAMMARS
• Noam Chomsky gave a mathematical model of grammar.
This model is used to write computer languages effectively.
• Grammar in theory of computation is a finite set of formal
rules that are generating syntactically correct sentences.
• The formal definition of grammar is that it is defined as four
tuples
ITM
Gwalior
2
3. CONT.
G=(V,T,P,S)
G is a grammar, which consists of a set of production rules. It is used to generate
the strings of a language.
T is the final set of terminal symbols. It is denoted by lower case letters.
V is the final set of non-terminal symbols. It is denoted by capital letters.
P is a set of production rules, which is used for replacing non-terminal symbols
(on the left side of production) in a string with other terminals (on the right side
of production).
S is the start symbol used to derive the string.
ITM
Gwalior
3
4. CONT.
• V = { S , A , B } => Non-Terminal symbols
• T = { a , b } => Terminal symbols
• P = { S → ABa , A → Ba , B → ab} => Production rules
• S = { S } => Start symbol
ITM
Gwalior
4
7. DIFFERENT TYPES OF GRAMMAR
Grammar can be divided on basis of –
Type of Production Rules
Number of Derivation Trees
Number of Strings
ITM
Gwalior
7
9. TYPES OF GRAMMAR
Grammar language Automata Production
Rules
Type 0 Recursively
enumerable
Turning machine No restriction
Type 1 Context-
sensitive
Linear-bounded Non-
deterministic machine
αAβ → αγβ
Type 2 Context-free Non-deterministic push down
Automata
A→γ
Type 3 Regular Finite Automata data A→αB
A→α
ITM
Gwalior
9
11. TYPE 0
ITM
Gwalior
11
Type 0 grammar language are recognized by turing machine.
Grammar Production in the form of
where
α is ( V + T)* V ( V + T)*
β is ( V + T )*.
In type 0 there must be at least one variable on Left side of production.
Ex -
Sab –> ba
A –> S.
12. TYPE 1
Type-1 grammars generate the context-sensitive languages.
The language generated by the grammar are recognized by the Linear
Bound Automata
In Type 1,
I. First of all Type 1 grammar should be Type 0.
II. Grammar Production in the form of
|α | <= | β |
i.e count of symbol in α is less than or equal to
Ex S –> AB
AB –> abc
B –> b
ITM
Gwalior
12
13. TYPE 2
Type-2 grammars generate the context-free languages. The language
generated by the grammar is recognized by a Pushdown automata.
In Type 2,
1. First of all it should be Type 1.
2. Left hand side of production can have only one variable.
|α| = 1.
Their is no restriction on β .
Ex -
S –> AB
A –> a
B –> b
ITM
Gwalior
13
14. TYPE 3
Type-3 grammars generate regular languages. These languages are
exactly all languages that can be accepted by a finite state automaton.
Type 3 is most restricted form of grammar.
It should be in the given form only :
V –> VT / T (left-regular grammar)
(or)
V –> TV /T (right-regular grammar)
Ex -
S –> a
ITM
Gwalior
14
15. APPLICATION OF GRAMMAR
• For defining programming languages
• For parsing the program by constructing syntax tree
• For translation of programming languages
• For describing arithmetic expressions
• For construction of compilers, etc.
ITM
Gwalior
15