| http://dbpedia.org/ontology/abstract
|
En informatique théorique, notamment en th … En informatique théorique, notamment en théorie des automates, et en théorie de la calculabilité, une machine de Mealy ou automate de Mealy est un transducteur fini (i.e. un automate fini avec une sortie) pour lequel les sorties dépendent à la fois de l'état courant et des symboles d'entrée. Cela signifie que l'étiquette de chaque transition est un couple formé d'une lettre d'entrée et d'une lettre de sortie. En particulier, la longueur du mot de sortie est égale à la longueur du mot d'entrée.Cette définition est plus générale que celle des machines de Moore pour lesquelles les valeurs de sortie ne dépendent que de l'état courant. Toutefois, il existe pour chaque machine de Mealy, une machine de Moore équivalente et réciproquement. Cet automate tient son nom de George H. Mealy, qui a proposé ce modèle en 1955. Ils font maintenant partie des concepts de base en théorie des automates et des langages rationnels et figurent dans de nombreux manuels. Les automates de Mealy ont des applications en théorie géométrique des groupes, où ils interviennent, depuis les travaux de Rostislav Grigorchuk, dans la définition de groupes d'automorphismes à croissance intermédiaire.automorphismes à croissance intermédiaire.
|
| http://dbpedia.org/ontology/namedAfter
|
http://fr.dbpedia.org/resource/George_H._Mealy +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Mealymachine_jaredwf.png?width=300 +
|
| http://dbpedia.org/ontology/wikiPageID
|
2464526
|
| http://dbpedia.org/ontology/wikiPageLength
|
17096
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
178928261
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Langage_rationnel +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_g%C3%A9om%C3%A9trique_des_groupes +
, http://fr.dbpedia.org/resource/Fichier:Automate_de_Mealy_du_groupe_de_Grigorchuk.jpg +
, http://fr.dbpedia.org/resource/Informatique_th%C3%A9orique +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_de_la_calculabilit%C3%A9 +
, http://fr.dbpedia.org/resource/Application_%28math%C3%A9matiques%29 +
, http://fr.dbpedia.org/resource/Groupe_de_Grigorchuk +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Calculabilit%C3%A9 +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_des_groupes +
, http://fr.dbpedia.org/resource/Automate_fini +
, http://fr.dbpedia.org/resource/George_H._Mealy +
, http://fr.dbpedia.org/resource/Fichier:AutomateMealy.png +
, http://fr.dbpedia.org/resource/Fichier:Automate_de_Sushchanskii.jpg +
, http://fr.dbpedia.org/resource/Transducteur_fini +
, http://fr.dbpedia.org/resource/Enigma_%28machine%29 +
, http://fr.dbpedia.org/resource/Transduction_rationnelle +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Th%C3%A9orie_des_automates +
, http://fr.dbpedia.org/resource/Fichier:Mealymachine_jaredwf.png +
, http://fr.dbpedia.org/resource/Machine_de_Moore +
, http://fr.dbpedia.org/resource/Ensemble_fini +
, http://fr.dbpedia.org/resource/Rostislav_Grigorchuk +
, http://fr.dbpedia.org/resource/D%C3%A9tection_de_contours +
, http://fr.dbpedia.org/resource/Th%C3%A9orie_des_automates +
|
| http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Citation_%C3%A9trang%C3%A8re +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Message_galerie +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Palette_Automates_finis_et_langages_r%C3%A9guliers +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Et_al. +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:%2C +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
|
| http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Th%C3%A9orie_des_automates +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Calculabilit%C3%A9 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Machine_de_Mealy?oldid=178928261&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Variante_de_l%27automate_de_l%27allumeur_de_r%C3%A9verb%C3%A8res.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/MealyEnMooreEtape2.png +
, http://commons.wikimedia.org/wiki/Special:FilePath/MealyEnMooreEtape33.png +
, http://commons.wikimedia.org/wiki/Special:FilePath/MealyEnMooreEtape1.png +
, http://commons.wikimedia.org/wiki/Special:FilePath/Mealymachine_jaredwf.png +
, http://commons.wikimedia.org/wiki/Special:FilePath/AutomateMealy.png +
, http://commons.wikimedia.org/wiki/Special:FilePath/Dual_de_l%27automate_de_l%27allumeur_de_r%C3%A9verb%C3%A8res.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Inverse_de_l%27automate_de_l%27allumeur_de_r%C3%A9verb%C3%A8res.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Automate_de_l%27allumeur_de_r%C3%A9verb%C3%A8res.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Automate_de_Sushchanskii.jpg +
, http://commons.wikimedia.org/wiki/Special:FilePath/Automate_de_Mealy_du_groupe_de_Grigorchuk.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Machine_de_Mealy +
|
| owl:sameAs |
http://ma-graph.org/entity/167960825 +
, http://zh.dbpedia.org/resource/%E7%B1%B3%E5%88%A9%E5%9E%8B%E6%9C%89%E9%99%90%E7%8A%B6%E6%80%81%E6%9C%BA +
, http://hr.dbpedia.org/resource/Mealyev_automat +
, http://www.wikidata.org/entity/Q1126309 +
, http://pt.dbpedia.org/resource/M%C3%A1quina_de_Mealy +
, http://commons.dbpedia.org/resource/Category:Mealy_machine +
, http://ar.dbpedia.org/resource/%D8%A2%D9%84%D8%A9_%D9%85%D9%8A%D9%84%D9%8A +
, http://fr.dbpedia.org/resource/Machine_de_Mealy +
, http://cs.dbpedia.org/resource/Mealyho_automat +
, http://g.co/kg/m/01wznx +
, http://sr.dbpedia.org/resource/%D0%9C%D0%B8%D0%BB%D0%B8%D1%98%D0%B5%D0%B2%D0%B0_%D0%BC%D0%B0%D1%88%D0%B8%D0%BD%D0%B0 +
, http://it.dbpedia.org/resource/Macchina_di_Mealy +
, http://ca.dbpedia.org/resource/M%C3%A0quina_de_Mealy +
, http://ja.dbpedia.org/resource/%E3%83%9F%E3%83%BC%E3%83%AA%E3%83%BB%E3%83%9E%E3%82%B7%E3%83%B3 +
, http://dbpedia.org/resource/Mealy_machine +
, http://ru.dbpedia.org/resource/%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82_%D0%9C%D0%B8%D0%BB%D0%B8 +
, http://de.dbpedia.org/resource/Mealy-Automat +
, http://eu.dbpedia.org/resource/Mealy_makina +
, http://fa.dbpedia.org/resource/%D9%85%D8%A7%D8%B4%DB%8C%D9%86_%D9%85%DB%8C%D9%84%DB%8C +
, http://uk.dbpedia.org/resource/%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82_%D0%9C%D1%96%D0%BB%D1%96 +
, http://id.dbpedia.org/resource/Mesin_Mealy +
, http://pl.dbpedia.org/resource/Automat_Mealy%E2%80%99ego +
, http://bs.dbpedia.org/resource/Mealyjev_automat +
, http://th.dbpedia.org/resource/%E0%B9%80%E0%B8%84%E0%B8%A3%E0%B8%B7%E0%B9%88%E0%B8%AD%E0%B8%87%E0%B8%88%E0%B8%B1%E0%B8%81%E0%B8%A3%E0%B9%81%E0%B8%9A%E0%B8%9A%E0%B9%80%E0%B8%A1%E0%B8%A5%E0%B8%A5%E0%B8%B5%E0%B9%88 +
, http://es.dbpedia.org/resource/M%C3%A1quina_de_Mealy +
|
| rdfs:comment |
En informatique théorique, notamment en th … En informatique théorique, notamment en théorie des automates, et en théorie de la calculabilité, une machine de Mealy ou automate de Mealy est un transducteur fini (i.e. un automate fini avec une sortie) pour lequel les sorties dépendent à la fois de l'état courant et des symboles d'entrée. Cela signifie que l'étiquette de chaque transition est un couple formé d'une lettre d'entrée et d'une lettre de sortie. En particulier, la longueur du mot de sortie est égale à la longueur du mot d'entrée.Cette définition est plus générale que celle des machines de Moore pour lesquelles les valeurs de sortie ne dépendent que de l'état courant. Toutefois, il existe pour chaque machine de Mealy, une machine de Moore équivalente et réciproquement.ne de Moore équivalente et réciproquement.
|
| rdfs:label |
Màquina de Mealy
, Автомат Мілі
, 米利型有限状态机
, Mealy machine
, Macchina di Mealy
, Machine de Mealy
, Mealy-Automat
, Máquina de Mealy
|
| rdfs:seeAlso |
https://ncatlab.org/nlab/show/Mealy_machine +
, https://www.quora.com/topic/Mealy-Machine +
|
