Professional Documents
Culture Documents
Abstract:
Automata theory (also known as Theory Of Through these automatons, mathematicians and
Computation) is a theoretical branch of computer scientists can understand how
Computer Science and Mathematics, which machines function, solve problem, learn and
mainly deals with the logic of computation with what it means for a function to be defined
respect to simple machines, referred to as as computable. Along with this, we can also
automata. Automata enables scientists to understand how discrete systems behave given
understand how machines compute the a certain set of inputs.
functions and solve problems. The main
motivation behind developing Automata Automatons can be divided into four main
Theory was to develop methods to describe families:
and analyze the dynamic behavior of discrete
systems. 1. Finite-State Machine
Automata play a major role in theory of 2. Push-down Automata
computation, compiler construction, artificial
3. Linear-bounded Automata
intelligence, parsing and formal verification.
Automata are used as finite representations of 4. Turing Machine
formal languages that may be infinite. It is used
A Finite-State machine is the simplest automata,
in designing and automation of machines. A
while a Turing machine is the most complex. A
traditional controlling and measuring system Turing machine is also a Finite-State machine,
both in home industry and factory have many but the inverse may not be true.
constraints especially in the field of quality and
efficiency. Here’s a design of a water tank using Notation
automata theory tools. Deterministic finite state
automata is used for manifestation of different An automaton has three basic components:
functions of water tank.
1. A finite set of inputs I {x_1, x_2, ....
Introduction: x_n}x1,x2,....xn
2. A finite set of outputs Z y_1, y_2, ...
Theory of automata is a theoretical branch of
y_ny1,y2,...yn
computer science and mathematical. It is the
study of abstract machines and the computation 3. A finite set of states Q whose definition
problems that can be solved using these depends on the type of automaton
being used.
machines. The abstract machine is called the
automata.
1|Page
Automata play a major role in theory of
complex problem. Within an FSM, all states in
computation, compiler construction, artificial
intelligence, parsing and formal verification. This consideration exist in a finite list and the
project is basically providing an automate abstract machine can only take on one of those
process of water tank. It includes auto filling of
states at a time. This approach allows each input
water and tells water level at different instances.
Moreover it controls the supply of water to and output scenario to be studied and tested.
different places such as water supply is
forbidden for playground if water level is below
the half. After that there is a filtration process of An FSM may be something very abstract, like a
water for water cooler. Supply of water to model for a business represented by an
mosque and campus is mandatory. It shows an
illustration , or it may be something concrete,
alert message if water level is too low to prevent
the extra use of water in case of absence of like a vending machine or computer. The list of
electricity. possible combinations of these elements is
limited within a finite state machine.
Finite State Machines:
Alternatively, a state machine can be fuzzy.
Finite state machine (FSM) is a term used by A fuzzy state machine allows the possibility of
programmers, mathematicians, engineers and
other professionals to describe a mathematical points of data that are not within discrete, pre-
model for any system that has a limited number designated.
of conditional states of being. A practical
example of a finite state machine is a set of
buttons on a video game controller that are Like a vending machine or computer. The list of
connected to a specific set of actions within the
possible combinations of these elements is
game. When a user inputs hitting certain
buttons, the system knows to implement the limited within a finite state machine.
actions that correspond.
Alternatively, a state machine can be fuzzy.
The makeup of a finite state machine consists of A fuzzy state machine allows the possibility of
the following:
points of data that are not within discrete, pre-
A set of potential input events. designated categories.
A set of expected states the system can Sanam Pudasaini et al. (2014) presented system
exhibit. of a programmed water level controller with
SMS notice. Their task was done to help client in
A finite state machine may be implemented burden shedding based nation like Nepal. SMS
through software or hardware to simplify a notice was added to program controller
2|Page
framework with the goal that water can be fill the longing tank utilizing select and run catch
overseen by client amid burden shedding. Two of the separate engine in an arbitrary
frameworks work synergistically; programmed succession. At the point when the framework is
level controller framework and SMS framework. dynamic and running, it can show the water
The system was produced in Arduino project level through visual diagram LED when
creating environment and transferred to the associated with sensor point. A LCD showcase of
Microcontroller. Water level in the framework is size 40X2 is interfaced to 8051 MCS to show the
controlled naturally. The controller works on a status of the tank other than giving important
battery power. At whatever point the guideline to work this framework. They send the
framework experiences void level and the status project to LCD from 8051MCS.This LCD is 40
of burden shedding, the SMS warning is sent to characters wide with two lines. This control
the client. S. B. Jagadal and S. V. Halse (2013) framework schematic is in view of essential
proposed a control framework which can be computerized idea to arrange the circuit outline.
utilized to screen numerous tanks by controlling Muktha Shankari K et al. (2013) discussed about
the operation of engines which pumps water configuration and usage of water level control
from sump to the overhead tanks utilizing a framework which is remote, programmed,
solitary 8051 MCU interfaced with LCD show in a financially savvy and solid. It utilizes two Radio
virtual situation. Here they presented a multi- Frequency handsets alongside a controller each
tank 10 International Journal on Information introduced at the tank and sump. Radio
Sciences and Computing Vol.9 No.2 July 2015 Frequency handsets are utilized for remote
control framework with four tanks to be correspondence. It is totally mechanized with
observed. A low level computing construct the assistance of a small scale controller. The
project was created to control these four framework needn't bother with any
engines in both modes programmed and also consideration of the client unless the sump is
manual. They have utilized rationale control unfilled. Establishment expense is decreased
outline to choose the specific tank to fill the following the framework is remote. It is solid in
water to yearning level. There is likewise an light of the fact that it has no issues emerging
abnormal state alert which is utilized to keep the after establishment, for example, breakage of
flood of the water. There is a programmed fill wire. Jiang Wei (2010) presented a fuzzy control
alternative which fills every one of the tanks one hypothesis which is utilized to build up a liquid
by one in a consecutive way naturally. This level, and the liquid info stream rate to focus the
control framework additionally permits client to measure of control, which to push the valve's
3|Page
opening size and pace so as to control the water 1- Water supply to hostels.
supply valve opening change level, so that the
fluid position of compartment keeps up a 2- Supply to all departments.
4|Page
Five tuples:
cooler is to provide cold water in
summer season. In winter, they are Qi= {1, 2, 3, 4, 5+, 6D}
Qi\ Σi a b
5- The last and final water supply is -1 2 6D
watering plants and trees. 2 3 6D
3 4 6D
4 5+ 6D
Priority based supply:
5+ 5+ 5+
6D 6D 6D
Supply of water depends upon water
level in tank. Water supply to first two qo ={ -1 )
priorities is always open. If water level is
F = {5+)
high but not in position to be supplied
to hostel, its supply is restricted. Water
cooler supply is based on water cooler
and level of water in coolers. Low level
in water cooler will allow water supply
to them. In winters, water cooler will be 2- For Water level above lower sensor:
used to provide filtered water. Next, if
RE = aaab(ab)*
It indicates that water is above the
water level is below half of the tank,
lower sensor and motor is pumping out
supply is not allowed to playgrounds water.
and plots as they requires a lot of water
Five tuples:
which may cause water shortage in case
Qi= {1, 2, 3, 4, 5+, 6 , 7D}
of load shading.
Σi= {a,b}
Input Alphabetic: δi =
5|Page
7D 7D 7D After attaining required water level this
qo ={ -1 } command will power off the motor.
F = {5+}
Five tuples:
Qi= {1, 2, 3, 4, 5+ }
Σi= {a,b}
δi =
Qi\ Σi a b
3- For power on command:
-1 2 1
RE = a*aaba
2 3 2
Next command to the motor to operate
3 2 4
as water level is very low.
4 2 5+
Five tuples: 5+ 2 1
Qi\ Σi a b
-1 2 6D
2 3 6D
3 3 4 5- For Water level above upper sensor:
4 5+ 6D RE = abaa(a+b)*
5+ 6D 6D This situation tells that water level has
6D 6D 6D attained required level of water and
( Table 3) now power supply should be cut off
qo ={ -1 }
Five tuples:
F = {5+}
Qi= {1, 2, 3, 4, 5+, 6D}
Σi= {a,b}
δi =
Qi\ Σi a b
-1 2 6D
4- For Power off command: 2 6D 3
RE = (a+b)*aabb 3 4 6D
6|Page
4 5+ 6D
5+ 5+ 5+
6D 6D 6D
qo ={ -1 }
F = {5+}
Qi\ Σi a b 2 1 3
-1 2 7D 3 2 4
2 7D 3 4 5+ 1
3 4 7D 5+ 2 1
4 7D 5+
5+ 5+ 6+ qo ={ -1 }
6 7D 6+
F = {5+}
7D 7D 7D
qo ={ -1 }
F = {5+, 6+}
7|Page
RE = abbb(a+b)* Qi\ Σi a b
-1 1 2
Water level is going on decreasing and at this 2 3 6D
point it is merely equal to alert point.
3 4 6D
Five tuples: 4 5+ 6D
Qi= {1, 2, 3, 4, 5+, 6D} 5+ 5+ 6D
6D 6D 6D
Σi= {a,b}
δi = qo ={ -1 }
Qi\ Σi a b F = {5+}
-1 2 6D
2 6D 3
3 6D 4
4 6D 5+
5+ 5+ 5+
qo ={ -1 }
Five tuples:
Qi= {1, 2, 3, 4, 5+}
Σi= {a,b}
δi =
Qi\ Σi a b
-1 1 2
9- For Playground water supply:
2 3 1
RE = a*baaaa*
3 4 2
This RE comes into execution state when water 4 1 5+
level is above middle sensor. This should start 5+ 5+ 5+
watering playgrounds. ( Table 10)
Five tuples: qo ={ -1 }
Qi= {1, 2, 3, 4, 5+, 6D} F = {5+}
Σi= {a,b}
δi =
8|Page
12- Water filter
qo ={ -1 }
F = {5+}
Five tuples:
9|Page
Qi= {1, 2, 3, 4, 5+} F = {5+}
Σi= {a,b}
δi =
Qi\ Σi a b
-1 1 2
2 3 1
3 4 2
4 5+ 2 15- Input (Water)
5+ 5+ 5+ RE= (a+b)* bbbb (a+b)*
(Table 13)
Water is output of pumping but it works
qo ={ -1 } as input in level sensors to provide
information about water level in water
F = {5+}
tank.
Five tuples:
Qi= {1, 2, 3, 4, 5+}
Σi= {a,b}
δi =
14- Input (Electricity)
Qi\ Σi a b
RE= (a+b)* aaaa (a+b)*
-1 1 2
Electricity is the basic input of whole system to 2 1 3
power on motor when pumping out of water is 3 1 4
required. 4 1 5+
Five tuples: 5+ 5+ 5+
(Table 15)
Qi= {1, 2, 3, 4, 5+}
qo ={ -1 }
Σi= {a,b}
F = {5+}
δi =
Qi\ Σi a b
-1 2 1
2 3 1
3 4 1
4 5+ 1
5+ 5+ 5+
(Table 14)
qo ={ -1 }
10 | P a g e
Conclusion:
References
11 | P a g e