Chinese 哥德尔奖 Cited by user Hrs81458 on 31 Oct 2022 哥德尔奖(Gödel Prize)是一個頒發給理論計算機科學領域傑出論文的年度獎項,由(EATCS)和美國計算機協會算法和計算理論特別興趣小組()聯合頒發. 該獎項是為紀念庫爾特·哥德爾而命名的.
English Linear bounded automaton Cited by user Citation bot on 17 Jan 2022 In computer science, a linear bounded automaton (plural linear bounded automata, abbreviated LBA) is a restricted form of Turing machine.