Dana Scott

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania
Dana Scott

Dana Stewart Scott (ur. 11 października 1932 r.) informatyk, logik, filozof. W 1976 roku wraz z Michaelem Rabinem otrzymał nagrodę Turinga za pracę Finite Automata and Their Decision Problem, w której do teorii automatów wprowadzono maszyny niedeterministyczne.

Zobacz też[edytuj | edytuj kod]

Niedeterministyczny automat skończony