Filtered-popping recursive transition network とは

フィルタリングされたポッピング再帰的遷移ネットワーク(FPRTN)、または単純にフィルタリングされたポッピングネットワーク(FPN)は、状態のマップをキーに拡張された再帰的遷移ネットワーク(RTN)であり、サブルーチンジャンプからの戻りはアクセプタ状態とリターン状態同じキーにマッピングされます。 RTNは有限状態マシンであり、有限状態オートマトンとして見なすことができます。消費遷移および ε {\displaystyle \varepsilon } 遷移、RTNは呼遷移を定義することができる。これらのトランジションはトランジションのターゲットステートをスタックにプッシュし、マシンをコール状態にすることでサブルーチンジャンプを実行します。アクセプタ状態に達するたびに、スタックが空でなく、マシンがこの状態になることを条件に、スタックの先頭の戻り状態がポップアウトされます。
この文章では、フィルタードポッピング再帰遷移ネットワークをFPNと呼んでいますが、この略語はあいまいです(例:あいまいなペトリネット)。フィルタリングされたポッピングネットワークとFPRTNは明白な選択肢です。