# Main Page

It is our purpose to provide theoretical and practical support to those who want to design and process formal (programming or domain specific) languages. So we gathered in this page information about language/grammars and tools (compiler generators), as well as definitions for the basic concepts in compilers area; also information about Virtual Machines (that are becoming now and more important as the compilers target) is available.

## Extensões

### MimeTeX

$\operatorname{erfc}(x) = \frac{2}{\sqrt{\pi}} \int_x^{\infty} e^{-t^2}\,dt = \frac{e^{-x^2}}{x\sqrt{\pi}}\sum_{n=0}^\infty (-1)^n \frac{(2n)!}{n!(2x)^{2n}}$


### SyntaxHighlight

<?php
$v = "string"; // sample initialization ?> html text <? echo$v;         // end of php code
?>

### InputBox

<inputbox> type=comment width=20 buttonlabel=Go searchbuttonlabel=Search break=no </inputbox>