Visibly Pushdown Automaton (VPA) nested wordをアクセプトするオートマトンをnested wordオートマトンという。VPAはnested wordオートマトンと等価な普通の(nested wordでない)語を受理するオートマトン。 nested wordオートマトンと関係がありそうだなあ……

Nested word 直感的には、XMLのような構造や、callイベントやretイベントを持つトレースをイメージすると良いかと. 定義 アルファベット上の長さのnested wordは組として定義される。ここで、は長さの上の語で、は長さのマッチング関係である。 マッチング関…

動的命題論理(PDL)について調べていて分かりやすい日本語文献があったので、シェアしておきます。 ci.nii.ac.jp

当ブログ最初の記事ですが, 初っ端から論文紹介です。 (挨拶記事だけ書いてブログに飽きるというジンクスを回避したい…) 以降も,こんな感じで面白いなと思った論文や記事の紹介,解説をしていく感じになると思います(続けば) ざっくり説明するので,しっかり理…