Twierdzenie Rice'a i trywialna własność


(St4n3k) #1

Witam! Czy mógłby ktoś jakoś na chłopski rozum powiedzieć o co chodzi w twierdzeniu ricea? I jakie to są trywialne własności jezyków programowania? Rozumiem że są to własnosci takie które maja wszystkie języki lub żaden?


(enedil) #2

Fajne materiały z Cornella- http://www.cs.cornell.edu/~dsteurer/toc13/lectures/15/

Fajne materiały z Berkeley- http://www.eecs.berkeley.edu/~luca/cs172/noterice.pdf

Fajne materiały ze Stanforda- http://kilby.stanford.edu/~rvg/154/handouts/Rice.html