可計算性與複雜性/形式語言/喬姆斯基層次結構/LBA 示例輸入
這些示例用於與 上下文敏感語言 底部提供的 perl LBA 模擬器一起使用。該頁面還包含關於 LBA 是什麼以及它是如何工作的描述。
此機器接受形式為 的字串。
請注意，在此示例中，輸入必須在兩側各用一個 "_" 作為磁帶分隔符進行邊界限定。
:States: start findA findB findC findD reset halt :Start State: start :Accept States: halt :alphabet: _ a b c d $ :tape bound: 1 0 :rules: start _ findA _ right findA $ findA $ right findA a findB $ right findA _ halt _ left findB $ findB $ right findB a findB a right findB b findC $ right findC $ findC $ right findC b findC b right findC c findD $ right findD $ findD $ right findD c findD c right findD d reset $ left reset $ reset $ left reset a reset a left reset b reset b left reset c reset c left reset d reset d left reset _ findA _ right
一些示例輸入
這些被接受
_ a a a b b b c c c d d d _
_ _
_ a b c d _
這些被拒絕
_ a a a b b b c c d d d _
_ a c _
_ a b b c c d d _