Re:NAT’s_k+1 [PASCAL = un sous-ensemble d’ALGOL] (---.---.41.253)3 juillet 2006 15:08
La contruction des NAT-serveurs en c etait
chronologiquement plus
tard(Voyez Deikstra[Eindhoven], Bauer[Muenchen] et alios).
« The Regular-Language Semantics of Second-Order Idealized ALGOL - Ghica, McCusker (2003) ». Cette
langue est plutot un ideal.
PASCAL par example est
la reduction de l’ALGOL
sur quelques instructions.