歷史非確定性有限狀態自動機開創者 Dana Scott:我獲得圖靈獎之前的 26 年2022-07-31TAG:Scott伯克利ChurchTarski普林斯頓圖注:Dana Scott作為一位在上世紀早期獲得圖靈獎的科學家,Dana Scott 是個典型的通才式科學家,他的研究涉及計算機科學家、數學和哲學等多個領域,他在自動機理論、模態邏輯、模型論、集合論和程式語言理論等問題上做出了開創性的貢獻...