Assertion: state machine | /r/ObjectUse | used as a development tool
Facets:
value: as a formal way
type: MANNER
value: for approaching and solving problems
type: PURPOSE
Source sentences:
text: A finite state machine can be used both as a development tool for approaching and solving problems and as a formal way of describing the solution for later developers and system maintainers.