Decidability of the equivalence problem for finitely ambiguous finance automata

Kosaburo Hashiguchi, Kenichi Ishiguro, Shuji Jinbo

Research output: Contribution to journalArticle

17 Citations (Scopus)

Abstract

A finance automaton is a sixtuple 〈Σ, Q, δ, S, F, f〉, where 〈Σ, Q, δ, S, F〉 is a (non-deterministic) finite automaton, f : Q × Σ × Q → R ∪ {- ∞} is a finance function, R is the set of real numbers and f(q, a, q′) = -∞ if and only if q′ ∉ δ(q, a). The function f is extended to f : 2Q × Σ* × 2Q → R ∪ {- ∞} by the plus-max principle. For any ω ∈ Σ*, f(S, ω, F) is the profit of ω. It is shown that the equivalence problem for finitely ambiguous finance automata is decidable.

Original languageEnglish
Pages (from-to)445-461
Number of pages17
JournalInternational Journal of Algebra and Computation
Volume12
Issue number3
DOIs
Publication statusPublished - 2002

Fingerprint

Equivalence Problem
Decidability
Ambiguous
Finance
Automata
Finite Automata
Profit
If and only if

Keywords

  • Finance automata
  • Plus-max principle
  • Transducer
  • Tropical semiring

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

Decidability of the equivalence problem for finitely ambiguous finance automata. / Hashiguchi, Kosaburo; Ishiguro, Kenichi; Jinbo, Shuji.

In: International Journal of Algebra and Computation, Vol. 12, No. 3, 2002, p. 445-461.

Research output: Contribution to journalArticle

@article{02f08d274b3846fb9af654b740a94457,
title = "Decidability of the equivalence problem for finitely ambiguous finance automata",
abstract = "A finance automaton is a sixtuple 〈Σ, Q, δ, S, F, f〉, where 〈Σ, Q, δ, S, F〉 is a (non-deterministic) finite automaton, f : Q × Σ × Q → R ∪ {- ∞} is a finance function, R is the set of real numbers and f(q, a, q′) = -∞ if and only if q′ ∉ δ(q, a). The function f is extended to f : 2Q × Σ* × 2Q → R ∪ {- ∞} by the plus-max principle. For any ω ∈ Σ*, f(S, ω, F) is the profit of ω. It is shown that the equivalence problem for finitely ambiguous finance automata is decidable.",
keywords = "Finance automata, Plus-max principle, Transducer, Tropical semiring",
author = "Kosaburo Hashiguchi and Kenichi Ishiguro and Shuji Jinbo",
year = "2002",
doi = "10.1142/S0218196702000845",
language = "English",
volume = "12",
pages = "445--461",
journal = "International Journal of Algebra and Computation",
issn = "0218-1967",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "3",

}

TY - JOUR

T1 - Decidability of the equivalence problem for finitely ambiguous finance automata

AU - Hashiguchi, Kosaburo

AU - Ishiguro, Kenichi

AU - Jinbo, Shuji

PY - 2002

Y1 - 2002

N2 - A finance automaton is a sixtuple 〈Σ, Q, δ, S, F, f〉, where 〈Σ, Q, δ, S, F〉 is a (non-deterministic) finite automaton, f : Q × Σ × Q → R ∪ {- ∞} is a finance function, R is the set of real numbers and f(q, a, q′) = -∞ if and only if q′ ∉ δ(q, a). The function f is extended to f : 2Q × Σ* × 2Q → R ∪ {- ∞} by the plus-max principle. For any ω ∈ Σ*, f(S, ω, F) is the profit of ω. It is shown that the equivalence problem for finitely ambiguous finance automata is decidable.

AB - A finance automaton is a sixtuple 〈Σ, Q, δ, S, F, f〉, where 〈Σ, Q, δ, S, F〉 is a (non-deterministic) finite automaton, f : Q × Σ × Q → R ∪ {- ∞} is a finance function, R is the set of real numbers and f(q, a, q′) = -∞ if and only if q′ ∉ δ(q, a). The function f is extended to f : 2Q × Σ* × 2Q → R ∪ {- ∞} by the plus-max principle. For any ω ∈ Σ*, f(S, ω, F) is the profit of ω. It is shown that the equivalence problem for finitely ambiguous finance automata is decidable.

KW - Finance automata

KW - Plus-max principle

KW - Transducer

KW - Tropical semiring

UR - http://www.scopus.com/inward/record.url?scp=0035998625&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035998625&partnerID=8YFLogxK

U2 - 10.1142/S0218196702000845

DO - 10.1142/S0218196702000845

M3 - Article

VL - 12

SP - 445

EP - 461

JO - International Journal of Algebra and Computation

JF - International Journal of Algebra and Computation

SN - 0218-1967

IS - 3

ER -