穷举法文法推断

[计] grammatical inference by enumeration

qióng jǔ fǎ wén fǎ tuī duàn ㄑㄩㄥˊ ㄐㄩˇ ㄈㄚˇ ㄨㄣˊ ㄈㄚˇ ㄊㄨㄟ ㄉㄨㄢˋ