📝 計算理論・コンパイラ理論の専門用語。
我们研究了自动机的导出过程。
(wǒmen yánjiūle zìdòngjī de dǎochū guòchéng.)
私たちはオートマトンの導出過程を研究した。
自动机的导出可以用形式语言来描述。
(zìdòngjī de dǎochū kěyǐ yòng xíngshì yǔyán lái miáoshù.)
オートマトンの導出は形式言語で記述できる。
这本书详细讲解了自动机的导出方法。
(zhè běn shū xiángxì jiǎngjiěle zìdòngjī de dǎochū fāngfǎ.)
この本はオートマトンの導出方法を詳しく解説している。