DPRLE (procedimiento de decisión para ecuaciones de lenguaje regulares) resuelve las restricciones de subconjunto que implican variables de lenguaje y concatenación.
historial de versiones
- Versión dprle%200.5.0 publicado en 2009-04-10
Varias correcciones y actualizaciones - Versión dprle 0.5.0 publicado en 2009-04-10
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: www.cs.virginia.edu/~ph4u/dprle/
- Licencia: Gratis
- Precio: N/A
- Versión: 0.5.0
- Plataforma: windows