Özet sözdizimi, bilgisayar programcılarının, oluşturmak için gereken gerçek koddan endişe etmeden oluşturmak istedikleri programın yapısını belirlemelerinin bir yoludur. Programcının, bilgisayarın gerçekte istenen işlevleri gerçekleştirmesini sağlamaya odaklanmadan önce, programın ne yapması gerektiğine odaklanmasını sağlar. Özet sözdizimi, programın iki sayı eklemek gibi belirli görevlerini ana hatlarıyla belirtir ve bu programda hangi tür verilerin kullanılabileceğini gösterir. Soyut eşleme tamamlandığında, soyut kavramları somut sözdizimi ile eşleştiren bir soyut sözdizimi ağacı çizilir - bir programcının oluşturduğu programı çalıştırmak için yazması gereken gerçek semboller.
Soyut sözdizimi fikri, onları nasıl kodlayacaklarının ayrıntılarına yetişmeden veri türlerine ve ilişkilerine odaklanmaktır. Bilgisayar kodu insan dilden çok farklı ve bu anlamda düşünmeye çalışmak zor. Bunun yerine, programcılar, programın tamamlaması gereken adımların bir listesini çıkarır ve daha sonra soyut terimleri bu adımları uygulayan bilgisayar kodu terimleriyle eşleştirmek için somut sözdizimini kullanır. Genellikle, programcı, programın birlikte çalışabileceği sayı, harf veya ondalık sayının ne tür veri olduğunu göstermek için soyut işaretlemesindeki veri türlerini içerecektir. Bununla birlikte, programlamada bu aşamada belirli veri tipleri gerekli değildir ve programcı, tamamen teorik olan ve program yazıldığında özel veri tipleriyle değiştirilecek olan soyut veri tiplerini kullanmayı seçebilir.
Bu tür bir soyut programlama fikri, derleyici teorisinde sıklıkla kullanılmaktadır. Bilgisayarlar yalnızca iki değeri anlayabilir: 1s ve 0s. Bu ikili kod olarak bilinir. Bilgisayarın bir programlama dilinde yazılmış bir programı anlaması için, sözcükleri ve harfleri 1s ve 0s akışına derlemesi veya çevirmesi gerekir. Derleyiciler, bir programcının hatasız kod tasarlamasına yardımcı olmak için ne yapmaları gerektiğine dair belirsiz veya soyut bir fikir oluşturmak ve haritalandırmak için karmaşıktır.
Programcı soyut sözdizimini somut sözdizimiyle eşlemek ve programı veya derleyiciyi kodlamaya başlamak istediğinde, soyut bir sözdizimi ağacı oluşturur. Bu sadece, her soyut terimden bu komutu uygulamak için gereken belirli kod satırına çizilen bir çizgi ile "2 değişken ekle" gibi yazdığı tüm soyut talimatların bir listesidir. Programcı istediği soyut terimleri kullanabilir, ancak değişken için "var" ve tamsayı için "int" gibi iyi bilinen kod terimlerini kullanmak daha yaygındır.
