The study of the mathematical properties of such robots is the theory of the robot: [Essay Example], 763 words GradesFixer

Haven't found the right essay?

Get an expert to write your essay!


Professional writers and researchers


Sources and citation are provided


3 hour delivery

This essay has been submitted by a student. This is not an example of the work written by professional essay writers.

The study of the mathematical properties of such robots is the theory of the robot

Print Download now

Pssst… we can write an original essay just for you.

Any subject. Any type of essay.

We’ll even meet a 3-hour deadline.

Get your price

121 writers online

Download PDF

In the science of the theoretical computation, the automata theory is the study of mathematical objects called abstract machines or the computer robots and problems that can be solved using them. Robot comes from the Greek word a?t?µata that means “autoactuante”. The figure of the right illustrates a machine of finite states, that belongs to a well-known good variety of robots. This robot consists of states (represented in the figure by circles) and transitions (represented by you shoot with an arrow). As the robot sees an entrance symbol, she makes a transition (or jump) to another state, in agreement with his function of transition (that takes the present state and the recent symbol like its entrances).

The automata theory also closely is related to the formal language theory. A robot is a finite representation of a formal language that can be an infinite set. The robots often classify themselves by the class of formal languages that can recognize.


What follows is an introductory definition of a type of robot, who tries to help us to catch the implied essential concepts in the automata theory.

Informal description

One assumes that a robot must execute himself in a certain sequence of entrances in discreet passages of time. In each passage of time, a robot obtains an entrance that picks up of a letter or symbol set, that is called an alphabet. At any time, the symbols until now fed the robot as entered form a finite sequence of symbols, that is called a word. A robot contains a finite set of states. In each instance in the time of some execution, the robot is in one of his states. In each passage of time when the robot reads a symbol, jumps or journeys to a following state that is decided by a function that at the moment takes the present state and the symbol read like parameters.

This function is called transition function. The robot reads the symbols of the word of entrance one after another one and journeys of state to state in agreement with the transition function, until the word is read completely. Once the entrance word has been read, it says that the robot has paused and the state in which the robot paused is called final state. Following the final state, he says themselves that the robot accepts or he rejects an entrance word. There is a subgroup of states of the robot, who defines himself as the set of acceptance states. If the final state is an acceptance state, then the robot accepts the word. Otherwise, the word is rejected. The set of all the words accepted by a robot denominates language recognized by the robot. In summary, a robot is a mathematical object that takes a word as entered and decides to accept it or to reject it. Since all the computer problems are reducible in the acceptance question/rejection of the words (all the instances of problems can imagine in a finite length of symbols), the automata theory plays a crucial role in the computer theory.

Formal definition

A robot is represented formally by one 5-tupla (Q, S, d, q0, F), where:

  • Q is a finite set of states.
  • S is a finite set of symbols, call alphabet of the robot.
  • d is the function of transition, that is to say, d: Q × S ? Q.
  • q0 is the state of beginning, that is to say, the state of the robot before processing any entrance, where q0 ? Q.
  • F is a set of states of Q (that is to say, F ? Q) calls acceptance states.

Word of entrance

A robot reads a finite chain of symbols a1, a2,…., an, where ai ? S, that is called an entrance word. The set of all the words is denoted by S *. to run A sequence of states q0, q1, q2,…., qn, where qi ? Q like q0 is the state of beginning and qi = d (qi-1, ai) for 0

Recognizable languages

The recognizable languages are the set of languages that a robot recognizes. For the previous definition of robots, the recognizable languages are the regular languages. For different definitions from robot, the recognizable languages are different.

Remember: This is just a sample from a fellow student.

Your time is important. Let us write you an essay from scratch

100% plagiarism free

Sources and citations are provided

Cite this Essay

To export a reference to this article please select a referencing style below:

GradesFixer. (2019, February, 27) The study of the mathematical properties of such robots is the theory of the robot. Retrived February 27, 2020, from
"The study of the mathematical properties of such robots is the theory of the robot." GradesFixer, 27 Feb. 2019, Accessed 27 February 2020.
GradesFixer. 2019. The study of the mathematical properties of such robots is the theory of the robot., viewed 27 February 2020, <>
GradesFixer. The study of the mathematical properties of such robots is the theory of the robot. [Internet]. February 2019. [Accessed February 27, 2020]. Available from:

Sorry, copying is not allowed on our website. If you’d like this or any other sample, we’ll happily email it to you.

By clicking “Send”, you agree to our Terms of service and Privacy statement. We will occasionally send you account related emails.



Your essay sample has been sent.

Want us to write one just for you? We can custom edit this essay into an original, 100% plagiarism free essay.

thanks-icon Order now

Hi there!

Are you interested in getting a customized paper?

Check it out!
Having trouble finding the perfect essay? We’ve got you covered. Hire a writer uses cookies. By continuing we’ll assume you board with our cookie policy.