Este artigo analisa a informalidade no mercado de trabalho, com um jogo dinâmico infinito entre empregador e empregados, no qual a Justiça Trabalhista é representada parametricamente. Duas classes de equilíbrios de Nash perfeitos em subjogos são encontradas. Na primeira classe, a relação informal prevalece durante um determinado tempo, com posterior formalização do trabalhador, sendo que, quanto mais efetiva for a Justiça, mais rapidamente serão registrados os empregados. Na segunda classe, a informalidade se pereniza, associada a uma alta rotatividade no mercado de trabalho. Novamente, quanto mais efetivo o Judiciário, menor a probabilidade de esse último equilíbrio existir.

This article presents a game theoretic analysis of informality in the labor market based on an infinite dynamic game between employers and workers in which the Judiciary system enters parametrically. We find two classes of subgame-perfect Nash equilibria. In the first class, the worker first gets an informal contract but he eventually becomes a formal worker. We show that the more effective the Judiciary system, the faster the labor relationship is formalized. In the second class informal labor is maintained, coupled with high work turnover. Again, the more efficient the Judiciary system, the less likely is that equilibrium.