This HTML5 document contains 58 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n19https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Extended_finite-state_machine
rdf:type
yago:CausalAgent100007347 yago:Person100007846 yago:Organism100004475 yago:WikicatModelsOfComputation yago:Whole100003553 yago:Assistant109815790 yago:YagoLegalActor yago:YagoLegalActorGeo yago:PhysicalEntity100001930 yago:Model110324560 yago:Worker109632518 yago:LivingThing100004258 yago:Object100002684
rdfs:label
Máquina de estados finitos estendida Extended finite-state machine
rdfs:comment
Numa máquina de estados finitos convencional, uma transição é associada a um conjunto de entrada de condições booleanas e um conjunto de saída de funções booleanas. Num modelo de máquina de estados finitos estendida (EFSM, do inglês extended finite state machine model), a transição pode ser expressa por uma “estrutura de seleção” consistindo de um conjunto de condições de disparo. Se as condições de disparo forem todas satisfeitas, a transição é disparada, levando a máquina do estado atual para o próximo estado e realizando a operação de dados especificada. In a conventional finite state machine, the transition is associated with a set of input Boolean conditions and a set of output Boolean functions. In an extended finite state machine (EFSM) model, the transition can be expressed by an “if statement” consisting of a set of . If trigger conditions are all satisfied, the transition is fired, bringing the machine from the current state to the next state and performing the specified .
dct:subject
dbc:Formal_methods dbc:Theory_of_computation dbc:Models_of_computation
dbo:wikiPageID
6965259
dbo:wikiPageRevisionID
1000126347
dbo:wikiPageWikiLink
dbr:Trigger_condition dbc:Models_of_computation dbr:Binary_numeral_system dbr:Data_operation dbr:Vector_space dbr:Abstract_state_machine dbr:If_statement dbc:Theory_of_computation dbr:Finite_state_machine dbr:Evaluation dbr:Boolean_logic dbr:Arithmetic dbr:Finite-state_machine dbc:Formal_methods
owl:sameAs
yago-res:Extended_finite-state_machine dbpedia-pt:Máquina_de_estados_finitos_estendida wikidata:Q5421886 freebase:m.0gz33h dbpedia-fa:ماشین_حالت_متناهی_گسترش_یافته n19:4jr9x
dbp:wikiPageUsesTemplate
dbt:Technical dbt:Refimprove dbt:Multiple_issues dbt:Cleanup
dbo:abstract
In a conventional finite state machine, the transition is associated with a set of input Boolean conditions and a set of output Boolean functions. In an extended finite state machine (EFSM) model, the transition can be expressed by an “if statement” consisting of a set of . If trigger conditions are all satisfied, the transition is fired, bringing the machine from the current state to the next state and performing the specified . Numa máquina de estados finitos convencional, uma transição é associada a um conjunto de entrada de condições booleanas e um conjunto de saída de funções booleanas. Num modelo de máquina de estados finitos estendida (EFSM, do inglês extended finite state machine model), a transição pode ser expressa por uma “estrutura de seleção” consistindo de um conjunto de condições de disparo. Se as condições de disparo forem todas satisfeitas, a transição é disparada, levando a máquina do estado atual para o próximo estado e realizando a operação de dados especificada.
prov:wasDerivedFrom
wikipedia-en:Extended_finite-state_machine?oldid=1000126347&ns=0
dbo:wikiPageLength
3252
foaf:isPrimaryTopicOf
wikipedia-en:Extended_finite-state_machine
Subject Item
dbr:EFSM_(disambiguation)
dbo:wikiPageWikiLink
dbr:Extended_finite-state_machine
dbo:wikiPageDisambiguates
dbr:Extended_finite-state_machine
Subject Item
dbr:Efsm
dbo:wikiPageWikiLink
dbr:Extended_finite-state_machine
dbo:wikiPageRedirects
dbr:Extended_finite-state_machine
Subject Item
dbr:Extended_finite_state_machine
dbo:wikiPageWikiLink
dbr:Extended_finite-state_machine
dbo:wikiPageRedirects
dbr:Extended_finite-state_machine
Subject Item
wikipedia-en:Extended_finite-state_machine
foaf:primaryTopic
dbr:Extended_finite-state_machine