Here is a Venn diagram showing the relative positions of different types of languages.
![](http://thebeardsage.com/wp-content/uploads/2020/04/venn.png)
Here are some example languages for each type
Type | Example |
---|---|
Finite | ![]() |
Regular but not Finite | ![]() |
Deterministic Context Free but not Regular | ![]() |
Context Free but not Deterministic Context Free | ![]() |
Decidable but not Context Free | ![]() |
Recognizable but not Decidable | ![]() |
Not Recognizable | ![]() |