NonTerminalState - Revision history

Xuanni1 at 15:21, 9 August 2021

2021-08-09T15:21:10Z

Xuanni1 at 15:20, 9 August 2021

2021-08-09T15:20:54Z

Xuanni1: Created page with "{{Class Definition |Subclass Of=State |Description=A non-terminal state has child states, which may define some classes of manifestations, or further define some other complex..."

2021-06-25T21:22:17Z

Created page with "{{Class Definition |Subclass Of=State |Description=A non-terminal state has child states, which may define some classes of manifestations, or further define some other complex..."

New page

{{Class Definition
|Subclass Of=State
|Description=A non-terminal state has child states, which may define some classes of manifestations, or further define some other complex state types. A state cannot be both non-terminal and terminal.
|Definition Status=Pending Approval
}}
{{Annotation Specification}}
{{Manchester Specification
|Manchester Row={{Manchester Row
|Property=disjointWith
|Value=TerminalState
}}{{Manchester Row
|Property=HasDecomp
|Restriction=only
|Value=State and min 2 State
}}{{Manchester Row
|Property=HasSubState
|Restriction=only
|Value=State
}}
}}
{{Supplementary Figures}}

@@ Line 3: / Line 3: @@
 |Description=A non-terminal state has child states, which may define some classes of manifestations, or further define some other complex state types. A state cannot be both non-terminal and terminal.NonTerminalStates have the following core properties:
 o	hasDecomp: identifies two or more States that the state may be immediately decomposed into, i.e., its direct children.
 |Definition Status=Pending Approval
 }}