Quali materie informatiche sono obbligate a seguire il corso introduttivo nei compilatori? [chiuso]

Probabilmente dovresti avere una comprensione dei seguenti argomenti:

• Matematica discreta (insiemi, relazioni, alberi, grafici, matrici, teoria dei numeri)
• Strutture dati (in un senso più applicato, come funzionano alberi, elenchi, pile, code e stringhe)
• Algoritmi di base (concetti principali, ordinamento, ricerca, notazione Big-O, ecc.)
• Architettura del computer (logica digitale, operazioni di bit, microcomponenti, cache, memoria, programmazione di assiemi)
• Varie (espressioni regolari, linguaggi context-free, stati finiti / pushdown, macchine di Turing e computabilità, strumenti lessicali e di analisi)

Opzionale e probabilmente aiuterà molto:

• Progettazione del sistema operativo (gestione dei processi, progettazione del kernel, sincronizzazione, pianificazione, eventi, blocchi, thread e stack vs heap)

Bene, ho lavorato un po 'per scrivere i miei compilatori, e direi che il prerequisito principale è una solida comprensione di ciò che otterremo in una classe Data Structures. Specificamente, se non comprendi ricorsione, alberi e mappe / tabelle hash, ti perderai molto rapidamente cercando di imparare a compilare un compilatore.

Avrai bisogno di qualche base di base sull'architettura del computer (registri, memoria, registri di scopo speciale, ecc.) e ho già visto alcuni codici di assemblaggio. Sarebbe ancora meglio se prima hai scritto qualche codice assembly, quindi hai una buona comprensione di come funziona il linguaggio macchina.

A seconda del livello del corso, è probabile che tu sappia un po 'dell'elaborazione superscalare e simili.

Se questo è qualcosa di simile alla classe dei compilatori che ho recuperato nel tardo Cretaceo (circa 1988), gli unici prerequisiti reali sarebbero le strutture dati (alberi e tabelle hash in particolare), qualche linguaggio assembly (per il codice generato ), possibilmente qualche architettura del computer, e qualunque classe insegnasse cose come espressioni regolari, automi finiti, macchine di Turing, ecc. sebbene possano essere coperti come parte del corso del compilatore stesso (FWIW, il mio no). Dovrai anche assicurarti di comprendere la ricorsione.

Probabilmente dovrai seguire un corso su modelli e linguaggi formali. Tutto ciò che copre la gerarchia Chompsky di base andrebbe bene: Lingue regolari + Lingue libere dal contesto. Questo perché è importante capire i fondamenti matematici dell'analisi in modo che il parser sia pulito, performante e corretto. Penso che una buona classe di compilatori coprirà sia le espressioni regolari sia i parser LALR / LL (k) e la teoria dietro di essi.

Dato che stanno parlando dell'ottimizzazione del codice, è possibile che ci sia qualche codice di assembly langauge. Quindi potrebbe essere bello avere almeno una familiarità. Dipenderà da come è strutturato quel corso specifico. Altrimenti, avere un solido set di competenze di programmazione dovrebbe essere sufficiente per un'introduzione ai compilatori di classe che penserei. Sarà una molto classe preziosa.

Dipende dall'università, ma la maggior parte richiede questi prerequisiti:

=> Discrete Mathematics
Should include: propositional logic, predicate logic, set theory etc etc 

=> General Concepts of Programming (In any language of choice would be okay)
=> Algorithms and Data Structures
Should include: data structures, abstract data types, recursive algorithms