Ikur- eta karaktere-multzo finitu batez eta arau-multzo jakin batez gizakiak sortutako lengoaia. Bereziki, ordenagailuetan exekutatzen diren programak eta hauei dagozkien algoritmoak idazteko erabiltzen da.