Mostrar código-fonte de Autômato

{{revisão-sobre|ciência=sim|Ciência da computação|data=julho de 2009}}
[[Imagem:Vaucanson duck1.jpg|thumb|O ''[[Pato Digestor]]'' por [[Jacques de Vaucanson]], considerado em 1739 como o primeiro autômato capaz de  [[digestão]]]]
Um '''{{PBPE|autômato|autómato}}''' é uma [[máquina]] ou [[robô]] que se opera de maneira automática.<ref name="definition">Automaton - Definition and More from the Free Merriam-Webster Dictionary http://www.merriam-webster.com/dictionary/automaton</ref>

== Etimologia ==
A palavra "autômato" é uma latinização da palavra [[Língua grega|grega]] αὐτόματον, ''autômato'', significando "agindo pela vontade própria". É mais comumente descrito como máquinas que se movem sem a ajuda de [[eletricidade]], especialmente aquelas que realizam ações que lembram humanos ou animais, como é o caso do cuco de um [[relógio]] de parede.

== Autômatos na antiguidade ==
Os autômatos na era [[Helenística|helenística]] foram projetados inicialmente para servir como brinquedos, ícones religiosos ou como ferramentas para demonstrar princípios científicos, incluindo alguns descritos pelo matemático grego [[Heron de Alexandria]] (as vezes referido como Hero ou Herão). Quando seus estudos sobre [[hidráulica]], [[pneumática]] e [[mecânica]] foram traduzidos para [[latim]] no século XVI, estudiosos começaram a reconstruir seus autômatos, aí estão inclusas invenções como o [[sifão]], o [[carro de bombeiro]] e a [[eolípila]].
<ref>{{citation |title=Um robô programável do ano 60 d.C. |author=Noel Sharkey|publisher=New Scientist|url=http://www.newscientist.com/blog/technology/2007/07/programmable-robot-from-60ad.html|date= July 4, 2007 |volume=2611}}</ref><ref>{{Citation | doi = 10.2307/2846790 | issn = 0038-7134 | volume = 29 | issue = 3 | pages = 477–487 | last = Brett | first = Gerard | title = The Automata in the Byzantine "Throne of Solomon" | journal = Speculum| date = 1954-07 | postscript = . | jstor = 2846790 }}</ref>
É sabido que objetos mecânicos complexos existiram na [[Grécia antiga]], apesar de que o único exemplo que se tem do tipo é a [[máquina de Anticítera]]. Inicialmente, acreditava-se que tal máquina vinha de [[Rhodes]], onde havia uma forte tradição para a [[engenharia mecânica]], já que a ilha é reconhecida pelos seus autômatos. Porém, estudos recentes dos fragmentos do mecanismo mostraram que a máquina pode ter vido de [[Corinto]], na [[Sicília]] e sugere uma conexão com [[Arquimedes]].

Existem ainda exemplos de mitos que tentam explicar sua origem. [[Daedalus]] se utilizou de [[mercúrio]] para dar voz aos seus autômatos. [[Hefesto]] criou um autômato para sua oficina: [[Talos]], um homem artificial feito de bronze, e, de acordo com [[Hesíodo]], a mulher [[Pandora]].
De acordo com a lenda [[Judaísmo|Judaica]], [[Salomão]] utilizou sua sabedoria para desenhar um trono com animais mecânicos que deveriam referencia-lo como rei enquanto ele subia ao mesmo. Ao sentar-se, uma águia deveria pôr a coroa em sua cabeça e um pombo traria uma escritura do [[Torá]] à suas mãos. Além disso, quando o rei Salomão começasse a subir no trono, um mecanismo seria ativado. Assim que ele desse o primeiro passo, um búfalo e um leão dourados estenderiam cada um uma pata para que ajudá-lo a erguer-se e tomar o próximo passo. Em cada lado, os animais ajudariam o rei até que ele estivesse sentado confortavelmente no trono.
<ref>[http://www.chabad.org/holidays/purim/article_cdo/aid/1345/jewish/King-Solomons-Throne.htm]</ref>

Na [[china antiga]], um relato curioso de um autômato é descrito nos textos [[Liezi]], escritos no século 3 a.C.  Existe uma descrição de um encontro ocorrido muito antes entre o rei Mu de Zhou (1023 – 957 a.C.) e um engenheiro mecânico conhecido como Yan Shi, um "artífice", ou artesão. Este último presenteou o rei com uma figura em forma de humano de tamanho real, feita por ele mesmo:

<blockquote>
 O rei observou a figura deslumbrado. Ela se mexia a passos rápidos, movendo sua cabeça para cima e para baixo, fazendo com que todos a confundissem com um ser humano real. O artífice tocou seu queixo, e a figura então começou a cantar de maneira perfeita. Ele tocou sua mão, e a máquina começou a posar, mantendo um ritmo perfeito entre as duas tarefas. Quando a apresentação estava próxima ao fim, o robô piscou seu olho e flertou com as moças da plateia. Neste momento, o rei indignou-se e teria executado Yen Shin imediatamente, se este, em medo mortal, não tivesse instantaneamente desmontado o robô para mostrar o que ele realmente era. A máquina mostrou não ser nada além de uma junção de couro, madeira, cola e laquê, colorido em azul, vermelho branco e preto. Examinando em detalhes, o rei achou órgãos internos completos, fígado, coração, rins, pulmões, estômago e intestinos e ao redor destes, músculos, ossos e membros com suas articulações, dentes, pele e cabelo, todos artificiais. O rei então retirou o coração e viu que a boca não podia mais falar; retirou o fígado e viu que os olhos não podiam mais ver; retirou nos rins e viu que as pernas já não mais se locomoviam. O rei, assim, ficou encantado.<ref name="needham volume 2 53">Needham, Volume 2, 53.</ref>
</blockquote>

Outros exemplos de autômatos incluem a pomba de [[Arquitas de Tarento]], mencionada por [[Aulo Gélio]]. Relatos chineses similares de autômatos com capacidade de voar foram escritos no século V a.C. pelo filósofo [[Moísmo|moísta]] [[Moz]]i e seu contemporâneo [[Lu Ban]], o qual projetou pássaros de madeira (''ma yuan'') artificiais que podiam efetivamente voar, de acordo com o ''Han Fei Zi'' e outros textos.<ref name="needham volume 2 54">Needham, Volume 2, 54.</ref>

== Autômatos medievais ==
Na metade do século VIII, o primeiro autômato [[Energia eólica|movido a vento]] foi construído: "Estátuas que se moviam sobre as abóbadas dos quatro portões e do palácio da cidade redonda de [[Bagdad]]". "O espetáculo ao público realizado pelas estátuas tinha sua contraparte exclusiva aos nobres nos palácios de [[Abássida]], onde autômatos de vários tipos eram predominantemente mostrados."<ref>{{citation|title=Medieval Islamic Civilization: An Encyclopedia|volume=2|first=Josef W.|last=Meri|publisher=[[Routledge]]|year=2005|isbn=0-415-96690-6|page=711}}</ref> Também no século VIII, o alquimista muçulmano [[Geber|Jābir ibn Hayyān]] (Geber), incluiu fórmulas para construção de [[cobra]]s, [[Escorpião|escorpiões]] e [[humano]]s, os quais seriam inteiramente controlados pelos seus criadores como descrito no seu ''Livro das Pedras''.  Em 827, o [[califa]] [[Al-Ma’mun]] possuía uma árvores de prata e outra de ouro no seu palácio em [[Bagdad]], as quais possuíam características de autômatos. Existiam pássaros de metal que cantavam automaticamente nos galhos móveis das árvores construídas por inventores muçulmanos e [[engenheiros]].<ref>Ismail b. Ali Ebu'l Feda history, Weltgeschichte, hrsg. von Fleischer and Reiske 1789-94, 1831.</ref> O [[Califado Abássida|califa Abássido]] [[Al-Muqtadir]] também possuía uma árvore de ouro em seu palácio em Bagdad em 915. A árvore possuía pássaros que batiam suas asas e cantavam.<ref>A. Marigny (1760). ''Histoire de Arabes''. [[Paris]], Bd. 3, S.206.</ref> No século IX, os irmãos [[Banū Mūsā]] inventaram um toca [[flauta]]s automático programável e o descreveram no seu ''[[Livro de Dispositivos Engenhosos]]''.<ref name=Koetsier> {{cite journal |last1=Koetsier |first1=Teun  |year=2001 |title=On the prehistory of programmable machines: musical automata, looms, calculators |journal=Mechanism and Machine Theory |volume=36 |issue=5 |pages=589–603 |publisher=Elsevier |doi=10.1016/S0094-114X(01)00005-2}}</ref>

[[Imagem:CIMA mg 8332.jpg|thumb|Autômato no Museu suíço CIMA]]

[[Imagem:cima automaton.ogv|thumb|direita|Um autômato escrevendo uma carta no museu suíço CIMA]]

[[Al-Jazari]] descreveu autômatos [[humanoide]]s complexos programáveis, além de outras maquinas desenhadas e construídas por ele no seu "Livro do Conhecimento de Dispositivos Mecânicos Engenhosos" em 1206. Um de seus autômatos era um barco com quatro músicos automáticos que se apresentavam a convidados em festas da realeza. O [[mecanismo]] possuía uma caixa de ritmos programável com [[came]]s que trabalhavam em conjunto com pequenas [[alavanca]]s para realizarem a [[percussão]]. Movendo-se os cames de lugar, era possível atingir ritmos e padrões de música diferentes.<ref>[http://www.shef.ac.uk/marcoms/eview/articles58/robot.html A 13th Century Programmable Robot], [[University of Sheffield]]</ref> De acordo com Charles B. Fowler, os autômatos eram essencialmente uma "[[Banda musical|banda]] robô" que demonstravam mais de cinquenta movimentos de corpo e face diferentes durante cada seleção musical.<ref>{{citation|title=The Museum of Music: A History of Mechanical Instruments|first=Charles B.|last=Fowler|journal=Music Educators Journal|volume=54|issue=2|date=October 1967|pages=45–49|doi=10.2307/3391092|publisher=MENC_ The National Association for Music Education|jstor=3391092}}</ref>

Al-Jazari construiu também um autômato que auxiliava na [[Higiene|lavagem das mãos]], demonstrando pela primeira vez o mecanismo de descarga utilizado hoje em [[Vaso Sanitário|vasos sanitários]] modernos. O autômato era uma figura feminina a qual permanecia perto de uma [[pia]] cheia de água. Quando o usuário puxava uma alavanca, a água era drenada e então o autômato enchia a pia novamente.<ref>{{citation|title=Robot Evolution: The Development of Anthrobotics|first=Mark E.|last=Rosheim|year=1994|publisher=Wiley-IEEE|isbn=0-471-02622-0|pages=9–10}} also at [http://books.google.se/books?id=IxtL54iiDPUC&lpg=PP1&ots=3QqGkatkH9&dq=Rosheim%2C%20Mark%20E.%20(1994)%2C%20Robot%20Evolution%3A%20The%20Development%20of%20Anthrobotics&hl=en&pg=PA9#v=onepage&q&f=false Google Books]</ref> Outro de seus dispositivos com este mesmo fim era a “fonte pavão”, um sistema mais sofisticado que utilizava autômatos humanoides como [[Empregado doméstico|serventes]] que ofereciam sabão e toalhas. Mark E. Rosheim fez a seguinte descrição: "Quando se puxava um ligamento na cauda do pavão, a água era liberada através do bico; enquanto a água suja utilizada enchia a pia, um pequeno barco subia flutuando e ativava um [[Acoplamento (engenharia mecânica)|acoplamento]] o qual fazia uma figura de um servente aparecer por detrás de uma porta atrás do pavão e oferecer sabão. Enquanto mais água era utilizada, um segundo barco em um nível mais elevado girava e então aparecia um segundo servente o qual oferecia uma [[toalha]]!""<ref name=Rosheim>{{citation|title=Robot Evolution: The Development of Anthrobotics|first=Mark E.|last=Rosheim|year=1994|publisher=Wiley-IEEE|isbn=0-471-02622-0|page=9}} also at [http://books.google.se/books?id=IxtL54iiDPUC&lpg=PP1&ots=3QqGkatkH9&dq=Rosheim%2C%20Mark%20E.%20(1994)%2C%20Robot%20Evolution%3A%20The%20Development%20of%20Anthrobotics&hl=en&pg=PA9#v=onepage&q&f=false Google Books]</ref> Al-Jazari foi assim o primeiro inventor a se utilizar de máquinas com figuras humanoides para realizar tarefas práticas como manipular o ambiente a fim de trazer conforto aos humanos.<ref>{{citation|title=Robot Evolution: The Development of Anthrobotics|first=Mark E.|last=Rosheim|year=1994|publisher=Wiley-IEEE|isbn=0-471-02622-0|page=36}}</ref>

Em seu rascunho datado de 1230, [[Villard de Honnecourt]] demonstrou planos para autômatos em forma de animais e para um anjo que movia sua cabeça sempre em direção ao sol. Ao fim do século XIII, Roberto II de Artois construiu um jardim dos prazeres no seu castelo em Hesdin que possuíam autômatos os quais divertiam as pessoas. Os trabalhos foram realizados por construtores locais e gerenciados pelo cavaleiro italiano Renaud Coignet. Os dispositivos eram macacos marionetes, relógios de sol erguidos sobre leões e “homens selvagens”, pássaros e fontes mecânicas e órgãos operados a foles. O parque ficou famoso pelos seus autômatos através de boa parte do século XV, até ser destruído por soldados ingleses no século XVI.<ref name="The Garden of Earthly Delights: Mahaut of Artois and the Automata at Hesdin, Elly R. Truitt">http://ir.uiowa.edu/cgi/viewcontent.cgi?article=1850&context=mff</ref><ref>{{cite book|last=Landsberg|first=Sylvia|title=The Medieval Garden|year=1995|publisher=Thames and Hudson|location=New York|pages=22}}</ref><ref>{{cite book|last=Macdougall|first=Elisabeth B|title=Medieval Gardens|url=http://books.google.co.uk/books?id=i6lciEEzyZ8C&lpg=PA125&ots=CmsyjP-KKJ&dq=hesdin%20AND%20(park%20OR%20gardens)%20Robert&pg=PA127#v=onepage&q=hesdin%20AND%20(park%20OR%20gardens)%20Robert&f=false|publisher=Google Books|accessdate=19 July 2012}}</ref>

O autor chinês Xiao Xin escreveu que quando o fundador da [[dinastia Ming]], [[Hongwu]] (1368-1398) estava destruindo os palácios de [[Khanbaliq]], os quais pertenciam a dinastia anterior, a [[dinastia Yuan|Yuan]], entre muitos outros mecanismos mecânicos, foram achados autômatos em formato de tigre.<ref name="needham volume 4 part 2 133 508">Needham, Volume 4, Part 2, 133 & 508.</ref>

== Renascença e início da era moderna ==
A época da [[Renascença]] viu um aumento considerável de interesse nos autômatos. As pesquisas de Heron foram traduzidas e editadas para o latim e italiano. O engenheiro italiano [[Giovanni Fontana]] criou autômatos em formato de demônios mecânicos e animas com propulsão a foguete.  Muitos autômatos de relógio foram construídos no século XVI, principalmente por ourives das [[Cidade Imperial Livre|cidades imperiais livres]] da Europa central. Estes autômatos acabaram sendo guardados no [[gabinete de curiosidades]], ou ''Wunderkammern'', das cortes reais da Europa. Autômatos hidráulicos e pneumáticos, similares àqueles descritos por Heron, foram criados para [[gruta]]s de jardim.

[[Leonardo da Vinci]] desenhou autômatos mais complexos por volta do ano de 1495. O design de seu robô não foi descoberto até os anos 50. O robô tinha a habilidade de, se construído corretamente, mover seus braços, girar sua cabeça e se erguer.

O [[Instituto Smithsoniano]] possui em seu acervo um Monge-relógio com em torno de 380mm de altura que é possivelmente datado de antes de 1560. O monge é movido por uma mola e se mexe por um caminho em formato de quadrado, batendo em seu peito com o braço direito, enquanto levanta e se desce uma pequena cruz e um rosário na sua mão esquerda, mexendo sua cabeça, rolando seus olhos e falando rituais. De tempos em tempos, ele leva a cruz ao seus lábios e a beija.  Acredita-se que o monge foi construído por [[Juanelo Turriano]], um mecânico para o [[Imperador]] do [[Sacro Império Romano]], [[Carlos I de Espanha|Carlos I]].

Uma nova percepção em relação a autômatos foi tomada por [[Descartes]] quando ele sugeriu que o corpo de animais não seriam nada além de máquinas complexas – os ossos, músculos e órgãos poderiam ser substituídos por engrenagens, pistões e cames. Assim, a mecânica se tornou padrão de comparação em relação a [[natureza]] e ao [[organismo]] vivo. A [[França]] do século XVII foi o berço de brinquedos mecânicos que viriam a se tornar protótipos para as máquinas da [[revolução industrial]]. Assim, em 1649, quando [[Luís XIV de França|Luís XIV]] ainda era uma criança, um artesão chamado Camus construiu para ele uma carruagem em miniatura, com cavalos, soldados, um escudeiro e uma dama dentro da carruagem. Todo o mecanismo funcionava com movimentos perfeitos. De acordo com P. Labat, General de Genes construiu em 1688, em adição a máquinas de guerra e navegação, um pavão que andava e comia. [[Athanasius Kircher]] construiu muitos autômatos para shows jesuítas, entre os quais uma estátua que falava e ouvia através de um [[tubo acústico]].

[[Imagem:TeaAutomatAndMechanism.jpg|thumb|Autômato japonês que serve chá, "[[karakuri ningyō]]", com mecanismo (a direita), século XIX]]

É considerado que o primeiro autômato biomecânico do mundo é o ''The Flute Player'' (o toca flautas), inventado pelo engenheiro francês [[Jacques de Vaucanson]] em 1737. Ele também construiu o Digesting Duck (pato digestor), um pato mecânico que dava a falsa impressão de comer e defecar, fortificando a ideia de que animais nada mais eram que máquinas feitas de carne.

Em 1769, uma máquina que jogava xadrez chamada de [[O Turco]], criada por [[Wolfgang von Kempelen]], rodou as cortes da [[Europa]] pretendendo ser um autômato. Na verdade, O Turco era operado por dentro por um humano e assim não era verdadeiramente um autômato.

Outros criadores de autômato do século XVIII incluem um francês prolífico chamado [[Pierre Jaquet-Droz]] e seu contemporâneo, [[Henri Mailardet]]. Mailardet, um mecânico suíço, criou um autômato capaz de desenhar quatro desenhos e escrever três poemas. Este autômato hoje faz parte das coleções do [[Instituto Franklin]] na [[Filadélfia]]. O belga [[John Joseph Merlin]] criou o mecanismo do Cisne de prata, agora no museu de Bowes.<ref>[http://www.thebowesmuseum.org.uk/collections/swan Bowes Museum: History of the Silver Swan]</ref> O [[Tigre de Tipu]] é um exemplo de um autômato construído no final do século XVIII feito para o Sultão de Tipu, mostrando um soldado europeu sendo atacado por um tigre.

De acordo com o filósofo [[Michel Foucault]], [[Frederico o Grande]], rei da [[Reino da prússia|Prússia]] durante o período de 1740 a 1786, era “obcecado” pelo seu autômato.<ref>See Michel Foucault, ''[[Discipline and Punish]]'', New York, Vintage Books, 1979, p.136: "The classical age discovered the body as object and target of power... The great book of Man-the-Machine was written simultaneously on two registers: the anatomico-metaphysical register, of which Descartes wrote the first pages and which the physicians and philosophers continued, and the technico-political register, which was constituted by a whole set of regulations and by empirical and calculated methods relating to the army, the school and the hospital, for controlling or correcting the operations of the body. These two registers are quite distinct, since it was a question, on one hand, of submission and use and, on the other, of functioning and explanation: there was a useful body and an intelligible body... The celebrated automata [of the 18th century] were not only a way of illustrating an organism, they were also political puppets, small-scale models of power: Frederick, the meticulous king of small machines, well-trained regiments and long exercises, was obsessed with them."</ref> De acordo com [[Manuel de Landa]], “Ele formatava seus exércitos como um mecanismo de relógio onde os componentes eram guerreiros-robôs”.

O [[Japão]] adotou autômatos durante o [[período Edo]] (1603-1867); eles eram conhecidos como ''[[karakuri ningyō]]''.

Autômatos, em particular relógios, foram populares na China durante os séculos XVIII e XIX. Há um crescente interesse por parte de colecionadores chineses no século XXI, o que levou muitos itens interessantes a aparecer no mercado.<ref name=NYT>{{cite news|last=Kolesnikov-Jessop|first=Sonia|title=Chinese Swept Up in Mechanical Mania|url=http://www.nytimes.com/2011/11/26/fashion/26iht-ACAW-AUTOMATON26.html|accessdate=November 25, 2011|newspaper=The New York Times|date=November 25, 2011|quote=Mechanical curiosities were all the rage in China during the 18th and 19th centuries, as the Qing emperors developed a passion for automaton clocks and pocket watches, and the “Sing Song Merchants,” as European watchmakers were called, were more than happy to encourage that interest.}}</ref>

== Autômatos modernos ==
O famoso mágico [[Jean Eugène Robert-Houdin]] (1805-1871) ficou conhecido por criar autômatos para suas performances.
O período de 1860 a 1910 é conhecido como "A Era de Ouro dos Autômatos". Durante este período, muitas pequenas empresas dirigidas por famílias brilharam em Paris, enviando milhares de autômatos-relógios e pássaros mecânicos cantantes para todo o mundo. Estes mecanismos são hoje cobiçados por colecionadores, apesar de caros e raros. Os principais vendedores franceses foram as empresas Vichy, Roullet & Decamps, Lambert, Phalibois, Renou e Bontems.
Os autômatos contemporâneos continuam sua tradição de manter ênfase em sua arte, em detrimento de sofisticação tecnológica. Eles hoje são representados pelos trabalhos do Teatro Mecânico Cabaret no [[Reino Unido]], Dug North e Chomick+Meder,<ref>[http://www.chomickmeder.com Chomick+Meder]</ref> [[Thomas Kuntz]],<ref>[http://www.artomic.com/gallery/automata/automata.html Artomic Automata]</ref> [[Arthur Ganson]], Joe Jones nos [[Estados Unidos]], [[Le Défenseur du Temps]] pelo artista francês Jacques Monestier, e François Junod na [[Suiça]].

Alguns brinquedos mecânicos desenvolvidos durante os séculos XVIII e XIX eram autômatos feitos de papel. Apesar da relativa simplicidade do material, autômatos de papel requerem um grande nível de ingenuidade mecânica.

== Na Educação ==
O valor educacional em potencial de brinquedos mecânicos em ensinar diferentes habilidades foi reconhecido pelo projeto da União Européia, ''Clockwork objects, enhanced learning: Automata Toys Construction'' (CLOHE).<ref>[http://www.clohe-movingtoys.eu/ CLOHE]</ref>

== No Cinema ==
No filme [[Hugo (filme)|"Hugo"]], de 2011, o personagem principal, Hugo Cabret, deve consertar um autômato em forma de homem, o qual ele e seu pai já tentaram consertar antes, acreditando que ele contém uma mensagem secreta deixada por seu pai antes de sua morte. Perto do final do filme, é revelado que o mesmo autômato foi criado por [[George Méliès]], que doou o mecanismo para o museu onde o pai de Hugo trabalhava, depois que o próprio Méliès não conseguiu o consertar. Este filme é baseado no livro de 2007 intitulado "A invenção de Hugo Cabret", pelo autor estadunidense Brian Selznick.<ref>Hugo [[Hugo (film)]]</ref>

== Na teoria da Computação ==
Formalmente, um autômato é definido como sendo um modelo matemático de uma [[Máquina de estado finito|máquina de estados finitos]].

Um '''autômato''' funciona como um [[reconhecedor]] de uma determinada linguagem e serve para modelar uma máquina ou, se quiserem, um [[computador]] simples. É usado, por exemplo, em editores de texto para reconhecer padrões. Um conceito fundamental nos autômatos é o conceito de estado. Este conceito é aplicado a qualquer sistema, por exemplo, à nossa [[televisão]]. As noções de estado e sistema são tão onipresentes que foi desenvolvido um campo de conhecimento chamado [[Teoria dos sistemas]]. Uma televisão pode estar ligada(on) ou desligada(off), temos então um sistema com dois estados.

A um nível mais detalhado, podemos desejar diferenciar os canais, caso em que podemos ter centenas de estados: um para ''desligada'' e os restantes significando ''ligada no canal N'', existe sempre um número finito de estados. Dada uma televisão, ela não está apenas num dos estados possíveis, somos capazes de fazer mudar a televisão de estado.

== Autômatos finitos ==
São reconhecedores de [[Linguagem regular|linguagens regulares]] definidos através de quíntuplas da forma:

: <code> <math> M=(Q,\  \Sigma,\  \delta,\ q_{0},\ F)</math>
</code>
* <math>Q</math> é um conjunto finito não vazio de estados do autômato;
* <math>\Sigma</math> é um conjunto de símbolos, denominado alfabeto de entrada do autômato;
* <math>\delta:Q \times \Sigma \to Q</math> é a [[função (matemática)|função]] de transição de estados do autômato e seu papel é o de indicar as transições possíveis em cada configuração do autômato. Esta função fornece para cada par "estado e símbolo de entrada" um novo estado para onde o autômato deverá mover-se.
* <math>q_{0}\in\, Q </math> é denominado estado inicial do autômato finito. É o estado para o qual o reconhecedor deve ser levado antes de iniciar suas atividades.
* <math>F\subseteq Q</math> é um subconjunto do conjunto Q dos estados do autômato, e contém todos os estados de aceitação ou estados finais do autômato finito. Estes estados são aqueles em que o autômato deve terminar o reconhecimento das cadeias de entrada que pertencem à linguagem que o autômato define. Nenhuma outra cadeia deve ser capaz de levar o autômato a qualquer destes estados.

Por exemplo:

<code>
M = ({A, B}, {0, 1}, f, A, {B})
f = (A, 0) Þ A
:::: (A, 1) Þ B
:::: (B, 1) Þ B
:::: (B, 0) Þ A
</code>

Para este autômato finito, reconhecem-se os seguintes elementos:

# estados do autômato: A e B
# símbolos do alfabeto de entrada: 0 e 1
# estado final: B
# estado inicial: A
# linguagem reconhecida: cadeias de dígitos binários terminadas obrigatoriamente por um dígito 1.

== Autômatos à pilha (ou pushdown) ==
São reconhecedores de Linguagens Livres de Contexto definidos através da sétupla da forma:
: <code>M=(E, V, P, f, q0, z0, F)</code><br />Onde:
* '''E''' é um conjunto finito não vazio de estados do autômato à pilha.
* '''V''' é um conjunto finito não vazio de símbolos de entrada ou átomos, denominado alfabeto de entrada do autômato à pilha. Os símbolos de entrada são os elementos de que são formadas as cadeias de entrada submetidas ao autômato para aceitação.
* '''P''' é um conjunto finito não vazio de símbolos da pilha, e forma o alfabeto da pilha. Os símbolos da pilha  são os códigos armazenados pelo autômato em sua memória auxiliar. Esta memória, no caso do autômato à pilha, é organizada na forma de uma pilha, ou seja, os últimos dados armazenados são os primeiros a serem lidos da pilha, e vice-versa.
* '''f''' é a chamada função de transição do autômato à pilha, e é composta de um conjunto de produções que definem as regras de movimentação do autômato à pilha. Esta função mapeia o produto cartesiano E X (V É {l}) X P no produto cartesiano E X P*. Em palavras, dado um estado, um símbolo de entrada e um símbolo de pilha contido no topo da memória auxiliar, esta função determina um novo estado do autômato e o novo conteúdo do topo da pilha (de comprimento qualquer).
* '''q0''' é denominado estado inicial do autômato à pilha, e é um elemento do conjunto E. É o estado em que se deve encontrar o autômato à pilha imediatamente antes do início do reconhecimento de uma cadeia de entrada (q0 Î E).
* '''z0''' é um elemento do conjunto P, distinto dos demais  pela convenção de que sua presença, no topo da pilha que implementa a memória do autômato, indica a ausência de outros elementos na mesma. É um marcador de pilha vazia (z0 Î P).
* '''F''' é um subconjunto do conjunto de estados E do autômato, que contém  todos os chamados estados finais ou estados de aceitação do autômato de pilha. Tais estados correspondem  àqueles nos quais o autômato de pilha deve encerrar o reconhecimento de  todas as cadeias de entrada que sejam sentenças da linguagem definida pelo autômato à pilha. Nenhuma outra cadeia deve finalizar o autômato em qualquer destes estados.

Por exemplo:
<code>
: M = ( { A, B, C}, {0, 1}, {x, y},
:::::::::: { f(A, 1, y) Þ (A, yx),
:::::::::::: f(A, 1, x) Þ (A, xx)
:::::::::::: f(A, 0, y) Þ (B, y)
:::::::::::: f(A, 0, x) Þ (B, x)
:::::::::::: f(B, 0, x) Þ (B, x)
:::::::::::: f(B, 1, xx) Þ (C, x)
:::::::::::: f(B, 1, yx) Þ (C, y)
:::::::::::: f(C, 1, xx) Þ (C, x)
:::::::::::: f(C, 1, yx) Þ (C, y) },
::::::::::: A, y, {C} )
</code>

Este autômato reconhece cadeias binárias da forma <math>1^n0+1^n,</math> onde <math>m</math>e <math>n</math> são inteiros não-negativos e <math>a^n</math> simboliza uma cadeia de <math>n</math> símbolos <math>a</math> seguidos.

Obs.: A cada transição, uma seqüência finita de símbolos de P é inserida na pilha, substituindo o símbolo do topo. Se a seqüência for l, equivale à ação "desempilhar". A inserção é tal que o símbolo mais à esquerda fica no topo da pilha.

== Ver também ==
* [[Caixa de pássaro cantor autômato]]
* [[Teoria de Autômatos]]
* [[Máquina de estado finito]]
* [[Planejamento Automatizado]]
{{Teoria da computação}}

== Softwares ==
* [http://www.simuladordeautomatos.com Simulador de Autômatos]- Software para criação, teste e conversão de Modelos Formais. Com interface gráfica.
* [http://www.din.uem.br/yandre/sctmf/ SCTMF]- Software para Criação e Teste de Modelos Formais.
* [http://www.jflap.org JFlap]- Software americano para testes com interface gráfica.

{{Referências|col=2}}

== Leitura adicional ==
* Bailly, Christian. ''Automaten'', Hirmer
* Bailly, Christian (2003). ''Automata: The Golden Age 1848-1914'', Robert Hale, 360pp, ISBN 0-7090-7403-4.  Translation of 1991 ''L'AGE D'OR DES AUTOMATES 1848-1914''
* Beyer, Annette (1983). ''Faszinierende Welt der Automaten''. Callwey Verlag Munchen　
* Bowers,　Q. David (1997). ''Encyclopedia of Automatic Musical Instruments'', Vestal Press, 1008pp, ISBN 0-911572-08-2
* Brauers, Jan (1984). ''Von der Aolsharfe zum Digitalspieler''
* Chapuis, A.; Gelis, E. (1984). ''Le MONDE des AUTOMATES ETUDE HISTORIQUE ET TECHNIQUEⅠⅡ'' 　
* CRITCHLEY, MACDONALD; HENSON, R.A.　(1977). ''MUSIC AND THE BRAIN''
* DEWAARD, R. (1967). ''From music boxes to street organs''
* DROZ, EDMONDO (1971). ''THE JAQUET-DROZ MECHANICAL PUPPETS''
* HYMAN, Wendy (2011). ''The Automaton in English Renaissance Literature'' ISBN 0-7546-6865-7
* INTERNATIONAL (1974). ''Silver Anniversary Collection MUSICAL BOX SOCIETY''
* Mercier, Francois (1991). ''Museums of Horology La Chaux-de-Fonds'' Le Locle　
* Musee d’art et d’histoire (1990). ''Clock and watch museum Geneva''
* Needham, Joseph (1986). ''Science and Civilization in China: Volume 2''. Cambridge University Press.
* ORD-HUME, W.J.G. (1973). ''Clockwork Music. An illustr. history of mechanical musical instruments from the musical box to the pianola, from automation lady virginal players to orchestrion'', Allen and Unwin, ISBN 0047890045　
* ORD-HUME, W.J.G. (1978). ''Barrel organ, the story of the mechanical organ and its repair'', Barnes
* ORD-HUME, W.J.G. (1980). ''The musical box: a guide for collectors, including a guide to values'', Schiffer Publishing, ISBN 978-0-88740-764-2
* Rausser, Fernand; Bonhôte, Daniel; Baud, Frédy (1972). ''All’Epoca delle Scatole Musicali'', Edizioni Mondo, 175 pp.
* Ricci, F.M. (1979). ''ANDROIDS The Jaquet-Droz automaton''
* The Diagram Group (2001) ''Musical Instruments of the World'', Sterling Publishing, 320pp. ISBN 0-8069-9847-4
* Troquet, Daniel (1989). ''THE WONDERLAND OF MUSIC BOXES AND AUTOMATA''
* Webb, Graham (1984). ''The Musical Box Handbook''.　Cylinder Boxes
* Weiss-Stauffachｅr,　Heinrich (1976). ''The Marvelous World of Music Machines''
* Winter-Jensen M.E.L.D.L., Anne (1987). ''AUTOMATES ET MUSIQUES Pendules''. Geneve　
* Zeraschi, Helmut (1980). ''L'Oregue de Barbarie'' 　Payot Lausanne

== Ligações externas ==
{{Correlatos|wikt=automaton|commons=Category:Automata|n=no|v=no|q=no|s=1911 Encyclopædia Britannica/Automaton|b=no}}
* [http://www.dca.fee.unicamp.br/cursos/EA876/apostila/HTML/node46.html Autômatos finitos]
* [http://homepage.ntlworld.com/kinetic-arts/sculpture/automata.htm The Automata and Art Bots mailing list home page]
* [http://automata.co.uk/History%20page.htm History]
* [http://www.modernautomatamuseum.com/ Modern Automata Museum]
* [http://www.automatomania.com AutomatomaniA - The largest online gallery of automata]
* [http://www.fi.edu/pieces/knox/automaton/index.html Maillardet's Automaton]
* [http://www.karakuri.info/ Japanese Karakuri]
* [http://links.jstor.org/sici?sici=0026-8232(191304)10%3A4%3C511%3AHAICTA%3E2.0.CO%3B2-5 J. Douglas Bruce, 'Human Automata in Classical Tradition and Mediaeval Romance', ''Modern Philology'', Vol. 10, No. 4 (Apr., 1913), pp. 511-526]
* [http://links.jstor.org/sici?sici=0149-6611(192003)35%3A3%3C129%3ATPBAHA%3E2.0.CO%3B2-%23 M. B. Ogle, 'The Perilous Bridge and Human Automata', ''Modern Language Notes'', Vol. 35, No. 3 (Mar., 1920), pp. 129-136]
* [http://www.cite-automate.fr conservation of automata]
* [http://www.nj.com/news/index.ssf/2011/07/123_years_later_voice_of_thoma.html Thomas Edison's talking doll]

{{Bloco de navegação
|Computação}}

{{Portal3|Matemática}}

[[Categoria:Teoria dos autômatos]]
[[Categoria:Teoria da computação]]
[[Categoria:Matemática discreta]]
[[Categoria:Palavras que diferem em versões da língua portuguesa]]
[[Categoria:Ciência da computação]]