Report copyright - Javier Esparza - TUMesparza/Talks/lmpstrueconc.pdfAbstract Models of Computation in the early 60s Lambdacalculus(Church35) Turingmachines(Turing36) Finiteautomata(Kleene56,Moore56,Mealy56,ScottandRabin59)
Please pass captcha verification before submit form