2 resultados para System test complexity

em Universitätsbibliothek Kassel, Universität Kassel, Germany


Relevância:

80.00% 80.00%

Publicador:

Resumo:

This paper contributes to the study of Freely Rewriting Restarting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS), which both are useful models in computational linguistics. For PCGSs we study two complexity measures called 'generation complexity' and 'distribution complexity', and we prove that a PCGS Pi, for which the generation complexity and the distribution complexity are both bounded by constants, can be transformed into a freely rewriting restarting automaton of a very restricted form. From this characterization it follows that the language L(Pi) generated by Pi is semi-linear, that its characteristic analysis is of polynomial size, and that this analysis can be computed in polynomial time.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

For over 1,000 years, the Balinese have developed a unique system of democratic and sustainable water irrigation. It has shaped the cultural landscapes of Bali and enables local communities to manage the ecology of terraced rice fields at the scale of whole watersheds. The Subak system has made the Balinese the most productive rice growers in Indonesia and ensures a high level of food sovereignty for a dense population on the volcanic island. The Subak system provides a vibrant example of a diverse, ecologically sustainable, economically productive and democratic water management system that is also characterized by its nonreliance on fossil fuel derivatives or heavy machinery. In 2012, UNESCO has recognized five rice terraces and their water temples as World Heritage site and supports its conservation and protection. However, the fragile Subak system is threatened for its complexity and interconnectedness by new agricultural practices and increasing tourism on the island.