Formal languages Mathematics and computer science use artificial entities called formal languages -LRB- including programming languages and markup languages , and some that are more theoretical in nature -RRB- .

Mathematics and computer science use made-up languages called formal languages -LRB- like computer programming languages -RRB- , but these may or may not be ` true ' languages .
