
<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>Regular cost functions have been introduced recently as an extension to the notion of regular languages with counting capabilities, which retains strong closure, equivalence, and decidability properties. The specificity of cost functions is that exact values are not considered, but only estimated. In this paper, we define an extension of Linear Temporal Logic (LTL) over finite words to describe cost functions. We give an explicit translation from this new logic to two dual form of cost automata, and we show that the natural decision problems for this logic are PSPACE-complete, as it is the case in the classical setting. We then algebraically characterize the expressive power of this logic, using a new syntactic congruence for cost functions introduced in this paper.
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, BC1-199, Logic, Formal Languages and Automata Theory (cs.FL), regular cost functions, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Computer Science - Formal Languages and Automata Theory, QA75.5-76.95, linear temporal logic, 004, regular languages, Logic in Computer Science (cs.LO), computer science - logic in computer science, computer science - formal languages and automata theory, Electronic computers. Computer science, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ddc: ddc:004
FOS: Computer and information sciences, Computer Science - Logic in Computer Science, BC1-199, Logic, Formal Languages and Automata Theory (cs.FL), regular cost functions, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Computer Science - Formal Languages and Automata Theory, QA75.5-76.95, linear temporal logic, 004, regular languages, Logic in Computer Science (cs.LO), computer science - logic in computer science, computer science - formal languages and automata theory, Electronic computers. Computer science, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ddc: ddc:004
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
