Diagrama d'estats: diferència entre les revisions

=== Exemples ===

==== Màquines DFA, NFA, GNFA, o Moore ====

S ₁ i S ₂ són estats i S ₁ és un estat d'acceptació. Cada aresta està etiquetat amb l'entrada.

 

==== Màquina de Mealy ====

S ₀, S ₁, i S ₂ són estats. Cada fletxa està etiquetat amb " j / k " on j és l'entrada i k és la sortida.

 

== Quadre d'estats Harel ==

Els quadres d'estats (statecharts) Harel (desenvolupats en [[1987]] per [[David Harel]]) estan guanyant en ús ampli atès que una variant ha arribat a ser part del [[UML]]. El tipus de diagrama permet modelar superestat, diagrames d'estats concurrents i eg modelar les activitats com a part d'un estat.

 

 

== Diagrama d'estats UML ==

[[Llenguatge unificat de modelat]] (UML) especifica una notació estandarditzada per diagrames d'estat que pot utilitzar per descriure classes, sistemes, subsistemes o fins i tot processos de negoci. Els diagrames d'estat també mostren el conjunt d'estats pels quals passa un objecte, durant la seva vida en una aplicació en resposta a events (per exemple, missatges rebuts, temps sobrepassat o errors), junt amb les seves respostes i accions. També il·lustren quins events poden canviar l'estat dels objectes de la classe. Normalment contenen estats i transicions. Com els estats i les transicions inclouen a la vegada, events, accions i activitats, anem a veure primer les seves definicions.

 

 

==Els elements bàsics de notació que poden utilitzats per compondre un diagrama d'estats i altres==

* Cercle ple, apuntant a un estat inicial

* Cercle buit que conté un cercle ple més petit a l'interior, indicant l'estat final (si existís)