A تحلیل گر نحوی(گرامر یک زبان)
اصطلاحات:
  • الفبا:یک مجموعه محدود از علامتها
  • مجموعه(تمامی قوانین مجموعه ها مثل عضویت زیر مجموعه،مجموعه جهانی و...صدق می کند.)
  • رشته:دنباله ای از علامت ها مانند : abba
  • طول رشته:طول علامت ها می باشد به عنوان مثال ۳ = |aba|
  • رشته تهی:رشته ای با طول صفر که با لاندا نمایش داده می شود.