Developing countries have a vast informal sector generally associated with low productivity levels. The response of informal employment to tax policies might depend on labor market rigidities. This paper proposes a theoretical framework consisting of a search and matching model with segmentation in the labor market to understand how tax policies and enforcement interact to determine the size of the formal sector. The analytical results show that decreasing payroll taxes increases formal employment demand, and enforcement expenditure decreases informal employment offers. The model suggests that a tax policy combination leads to a significant impact on informality reduction. Moreover, the magnitude of the effect of tax policies depends on real wage rigidities, i.e., when the economy faces high real wage rigidities, the tax policies have a higher effect on informality reduction. **** RESUMEN: Los países en desarrollo presentan un sector informal relevante asociado con bajos niveles de productividad. Los efectos de las políticas tributarias sobre los niveles de informalidad dependen de las rigideces del mercado laboral. En el presente artículo se propone un modelo de busqueda y emparejamiento en un mercado laboral segmentado para entender la interaccion entre las políticas tributarias y la aplicacion de la ley sobre el sector formal. Los resultados analíticos muestran que, disminuir los impuestos a la nomina genera aumentos en la demanda de empleo formal, mientras que un aumento en el gasto de auditar a las empresas disminuye la oferta de empleo informal. El modelo sugiere un impacto significativo en la reduccion de la informalidad al combinar las políticas tributarias. Ademas, la magnitud del efecto de las políticas depende de las rigideces en los salarios reales. De esta forma, cuando la economía presenta altas rigideces en los salarios reales, las políticas tributarias tienen un mayor efecto sobre la reducción de la informalidad.
