Filtered-popping recursive transition network

A filtered-popping recursive transition network (FPRTN), or simply filtered-popping network (FPN), is a recursive transition network (RTN) extended with a map of states to keys where returning from a subroutine jump requires the acceptor and return states to be mapped to the same key. RTNs are finite-state machines that can be seen as finite-state automata extended with a stack of return states; as well as consuming transitions and [math]\displaystyle{ \varepsilon }[/math]-transitions, RTNs may define call transitions. These transitions perform a subroutine jump by pushing the transition's target state onto the stack and bringing the machine to the called state. Each time an acceptor state is reached, the return state at the top of the stack is popped out, provided that the stack is not empty, and the machine is brought to this state. Throughout this article we refer to filtered-popping recursive transition networks as FPNs, though this acronym is ambiguous (e.g.: fuzzy Petri nets). Filtered-popping networks and FPRTNs are unambiguous alternatives.

Formal Definition

A FPN is a structure [math]\displaystyle{ (Q, K, \Sigma, \delta, \kappa, Q_I, F) }[/math] where

• [math]\displaystyle{ Q }[/math] is a finite set of states,
• [math]\displaystyle{ K }[/math] is a finite set of keys,
• [math]\displaystyle{ \Sigma }[/math] is a finite input alphabet,
• [math]\displaystyle{ \delta: Q \times (\Sigma \cup \{\varepsilon\} \cup Q) \to Q }[/math] is a partial transition function, [math]\displaystyle{ \varepsilon }[/math] being the empty symbol,
• [math]\displaystyle{ \kappa: Q \to K }[/math] is a map of states to keys,
• [math]\displaystyle{ Q_I \subseteq Q }[/math] is the set of initial states, and
• [math]\displaystyle{ F \subseteq Q }[/math] is the set of acceptance states.

Transitions

Transitions represent the possibility of bringing the FPN from a source state [math]\displaystyle{ q_s }[/math] to a target state [math]\displaystyle{ q_t }[/math] by possibly performing an additional action. Depending on this action, we distinguish the following types of explicitly-defined transitions:

• [math]\displaystyle{ \varepsilon }[/math]-transitions are transitions of the form [math]\displaystyle{ \delta(q_s,\varepsilon) \to q_t }[/math] and perform no additional action,
• consuming transitions are transitions of the form [math]\displaystyle{ \delta(q_s, \sigma) \to q_t }[/math] and consume an input symbol [math]\displaystyle{ \sigma }[/math], and
• call transitions are transitions of the form [math]\displaystyle{ \delta(q_s, q_c) \to q_t }[/math] and perform a subroutine jump to called state [math]\displaystyle{ q_c }[/math] before reaching [math]\displaystyle{ q_t }[/math].

The behaviour of call transitions is governed by two kinds of implicitly-defined transitions:

• for each call transition [math]\displaystyle{ \delta(q_s, q_c) \to q_t }[/math] the FPN implicitly defines a push transition that brings the machine from [math]\displaystyle{ q_s }[/math] to [math]\displaystyle{ q_c }[/math] by pushing [math]\displaystyle{ q_t }[/math] onto the stack, and
• for each pair of states [math]\displaystyle{ (q_f, q_r) \in F \times Q }[/math] the FPN implicitly defines a pop transition that brings the machine from [math]\displaystyle{ q_f }[/math] to [math]\displaystyle{ q_r }[/math] by popping [math]\displaystyle{ q_r }[/math] from the stack iff [math]\displaystyle{ q_r }[/math] is the state at the top of the stack and [math]\displaystyle{ \kappa(q_f) = \kappa(q_r) }[/math].

Push transitions initialize subroutine jumps and pop transitions are equivalent to return statements.

Purpose

A (natural language) text can be enriched with meta-information by the application of a RTN with output; for instance, a RTN inserting XML tags can be used for transforming a plain text into a structured XML document. A RTN with output representing a natural language grammar would delimit and add the syntactic structure of each text sentence (see parsing). Other RTNs with output could simply mark text segments containing relevant information (see information extraction). The application of a RTN with output representing an ambiguous grammar results in a set of possible translations or interpretations of the input. Computing this set has an exponential worst-case cost, even for an Earley parser for RTNs with output, due to cases in which the number of translations increases exponentially w.r.t. the input length; for instance, the number of interpretations of a natural language sentence increases exponentially w.r.t. the number of unresolved prepositional phrase attachments:

• in sentence the girl saw the monkey with the telescope, it is unknown whether the girl used the telescope or the monkey was holding it (2¹ interpretations),
• in sentence the girl saw the monkey with the telescope in the garden, it is also unknown whether the monkey was in the garden or the action took place in the garden (2² interpretations),
• in sentence the girl saw the monkey with the telescope in the garden under the tree, it is unknown as well whether the monkey was under the tree or the action took place under the tree (2³ interpretations),
• etc.

FPNs serve as a compact representation of this set of translations, allowing to compute it in cubic time by means of an Earley-like parser. FPN states correspond to execution states (see instruction steps) of an Earley-parser for RTNs without output, and FPN transitions correspond to possible translations of input symbols. The [math]\displaystyle{ \kappa }[/math] map of the resulting FPN gives the correspondence between the represented output segments and the recognized input segments: given a recognized input sequence [math]\displaystyle{ \sigma_1\ldots\sigma_l }[/math] and a FPN path [math]\displaystyle{ p }[/math] starting at a state [math]\displaystyle{ q }[/math] and ending at a state [math]\displaystyle{ q^\prime }[/math], [math]\displaystyle{ p }[/math] represents a possible translation of input segment [math]\displaystyle{ \sigma_{\kappa(q)+1}\ldots\sigma_{\kappa(q^\prime)} }[/math]. The filtered-popping feature is required in order to avoid FPN paths to represent translations of disconnected or overlapping input segments: a FPN call may contain several translation paths from the called state to an acceptor state, where the input segments they correspond to share the same start point but do not necessarily have the same length. Only return states corresponding to the same input point than the acceptor state finishing the call are valid return states.