אוטומטים ושפות פורמליות - סדרת ספרים - סימניה