Assertion: regular expression | /r/HasProperty | translated to the nfa
Facets:
value: recursively
type: MANNER
Source sentences:
text: The picture shows the NFA scheme N(s*) obtained from the regular expression s* , where s denotes a simpler regular expression in turn, which has already been recursively translated to the NFA N(s).