Es-compiler-design-compiler-design-finite-automata
提供:Dev Guides
CompiladorDiseño-AutómatasFinitos
オートマタ・フィニトス・エ・ウナ・マキナ・デ・エスタド・ケ・トマ・ウナ・アカデナ・デ・シンボロス・アン・ラ・エントラーダ・イ・エ・スタド・カンビア・エン・コンセクエンシア。 正規表現の自動更新 定期的に定期的にアカデミアと秋の食事を提供します。 Si cadena de entrada es procesadocorrectamente y losautómatasalcanza su estado final、es un hecho aceptado、es decir、la cadenasóloalimenta se dijo que era un tokenválidode la lengua en la mano。
モデルの自動化されたモデル:
- Conjunto finito de estados(Q)
- Conjunto finito desímbolosde entrada(Σ)
- Un estado de inicio(q0)
- Conjunto de estados(qf)
- FunciónTransición(δ)
Lafuncióntransición(δ)asigna el conjunto finito de estado(Q)de un conjunto finito desímbolosde entrada((Σ)、Q×Σ➔Q
AutómatasFinitosConstrucción
Sea L(r)es un idioma reconocido por regular algunosautómatasfinitos(FA)。
- エスタドス:エスタドス・デ・FAエストアン代表 デロスノンブルは、デントロデロスシルキュロスに記載されています。
- 初期状態:初期状態、初期状態、および同時接続状態です。 エスタド・デ・イニチオ・ティエナ・ウナ・フレチャ・アプンタンド・ハシア・エラ。
- Los estados intermedios :Todos los estados intermedios tienen al menos dos flechas、una apuntando a y otro que salen de ellos。
- 最終版:アカデミアの正解、正解、エスペラ、エスペラ、エスト、エスタド。 Estado finalestápresentadopor doscírculos。 Puede haber cualquiernúmeroimpar de flechas apuntando a ella e、incluso、númerode flechas que apuntan hacia fuera de ella。 Elnúmeroimpar de flechas son inclusomásque * es decir、extraño= incluso + 1 *。
- トランシオン:ラ・トランシオン・デ・ウン・エスタード・ア・オトロ・エスタード・オキュレ・クアンド・アン・シンボロ 自閉症、自立性、不健康な行動の管理者。 Movimiento de un estado a otro se muestra como una flecha dirigida、en donde las flechas puntos para el estado de destino。 エルミズモエスタドにあるパーマネチェ、ウナフレシャケアプンタ、アンエスタドケセビブヤ。
例:suponemos FA tresdígitosacepta cualquier valor binario que termina endígito1。 FA = \ {Q(q〜0〜、q〜f〜)、Σ(0,1)、q〜0〜、q〜f〜、δ}