Qu'est-ce que l'utilisation d'automates finis?

Ils sont les fondements théoriques des concepts largement utilisés dans l'informatique et la programmation, et la compréhension vous aidera à mieux comprendre comment les utiliser (et leurs limites). Les trois de base, ceux que vous rencontrez sont, dans l'ordre croissant de puissance:

• Automates finis, qui sont les équivalents des expressions régulières. Les expressions régulières sont largement utilisés dans la programmation pour la mise en correspondance des chaînes et de l'extraction de texte. Ils sont une méthode simple de décrire un ensemble de chaînes valides à l'aide de caractères de base, le regroupement et la répétition. Ils peuvent faire beaucoup de choses, mais ils ne peuvent pas match équilibré jeux de parenthèses.
• Push-down automates, l'équivalent libre de tout contexte de grammaires. Texte d'entrée/interpréteurs et des compilateurs utilisent ces expressions régulières ne sont pas assez puissants (et l'une des choses que vous apprenez dans l'étude des automates finis est ce que les expressions régulières peuvent pas le faire, ce qui est crucial de savoir quand il faut écrire une expression régulière et lors de l'utilisation de quelque chose de plus compliqué). Libre de tout contexte grammaires peuvent décrire des "langues" (ensembles de chaînes valides) lorsque la validité à un certain point dans l'analyse de la chaîne ne dépend pas de ce que d'autre n'a été vu.
• Des machines de Turing, l'équivalent de général de calcul (rien que vous pouvez faire avec un ordinateur). Certaines des choses que vous apprenez quand vous couvrir ceux-ci vous permettent de comprendre les limites de l'informatique elle-même. Une bonne théorie du cours va vous apprendre sur le Problème de l'Arrêt, qui permet d'identifier les problèmes pour lesquels il est impossible d'écrire un programme. Une fois que vous avez identifié un problème, alors vous savez pour arrêter de vouloir (ou de l'affiner à quelque chose qui est possible).

La compréhension de la théorie et les limites de ces différents mécanismes de calcul vous permettant de mieux comprendre les problèmes et les programmes et à réfléchir plus profondément sur la programmation.

Il y a une demande pour du travail a publié il ya environ un an sur l'un des freelance de codage de sites d'échange en demandant, en substance, pour un programme qui résout le Problème de l'Arrêt. Plusieurs personnes ont répondu à des offres, en disant qu'ils "comprendre les exigences de" et pourrait "démarrer immédiatement". Il était impossible d'écrire un programme qui satisfait aux exigences. Comprendre le calcul de la théorie permet de ne pas être le soumissionnaire qui démontre, dans le public, qu'il n'a vraiment pas à comprendre l'informatique (et n'a pas pris la peine d'enquêter de manière approfondie sur un problème avant de déclarer comprendre et de faire une offre).

OriginalL'auteur Michael Ekstrand

Automates sont utilisés dans le matériel et les applications logicielles. Veuillez lire la section mise en œuvre ici http://en.wikipedia.org/wiki/Finite-state_machine#Implementation

Il y a aussi une notion d'Automates à base de programmation. Veuillez vérifier cette http://en.wikipedia.org/wiki/Automata-based_programming

acclamations

OriginalL'auteur Arnkrishn

Essayez de prendre des compilateurs cours. Vous aurez très probablement faire un compilateur ou d'un interprète à l'aide d'un finite state automaton à mettre en œuvre une descente récursive de l'analyseur.

OriginalL'auteur chaos

Par exemple de gérer les états de certains objets définis cycle de vie.
À titre d'exemple: les commandes en magasin de livre.
Une commande peut avoir les états suivants:
-commandés
-payé
-expédition
-fait

et le programme de l'automate fini sait comment un état peut être modifié par d'autres.

OriginalL'auteur Max