ALL Α Β Γ Δ Ε Ζ Η Θ Ι Κ Λ Μ Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ω
| Greek Term | English Term |
|---|---|
| γραμματικές τύπου 0/1/2/3 (οι) | type 0/1/2/3 grammars |
| γραμματική τύπου 1 | type 1 grammar |
| γραμματική τύπου 2 | type 2 grammar |
| γραμματική τύπου 3 | type 3 grammar |
| συχνότητα τύπου (η) | type frequency |
| τύπος χαρακτηριστικού | type of characteristics |
| Μετακίνηση / μετατόπιση τύπου (η) | type shifting |
| θεωρία τύπων (η) | type theory |
| κανόνας χαμήλωσης τύπου (ο) | type-lowering rule |
| κανόνας ανύψωσης τύπου (ο) | type-raising rule |