Specification and Description Language for reactive and distributed systems, spreadsheet formulas and macros, SQL for relational database queries, Yacc grammars for creating parsers, regular expressions for specifying lexers,