Jalobeanu C. Marinescu D. 2006 Bazele teoriei calculului – limbaje formale si automate