Search results for 'Automata Theory' (try it on Scholar)

1000+ found
Sort by:
  1. Dennis P. Waters (2012). Von Neumann's Theory of Self-Reproducing Automata: A Useful Framework for Biosemiotics? Biosemiotics 5 (1):5-15.score: 54.0
    As interpreted by Pattee, von Neumann’s Theory of Self-Reproducing Automata has proved to be a useful tool for understanding some of the difficulties and paradoxes of molecular biosemiotics. But is its utility limited to molecular systems or is it more generally applicable within biosemiotics? One way of answering that question is to look at the Theory as a model for one particular high-level biosemiotic activity, human language. If the model is not useful for language, then it certainly (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Swarup Mohalik & R. Ramanujam (2010). Automata for Epistemic Temporal Logic with Synchronous Communication. Journal of Logic, Language and Information 19 (4):451-484.score: 51.0
    We suggest that developing automata theoretic foundations is relevant for knowledge theory, so that we study not only what is known by agents, but also the mechanisms by which such knowledge is arrived at. We define a class of epistemic automata, in which agents’ local states are annotated with abstract knowledge assertions about others. These are finite state agents who communicate synchronously with each other and information exchange is ‘perfect’. We show that the class of recognizable languages (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Raymond J. Nelson (1975). Behaviorism, Finite Automata, and Stimulus-Response Theory. Theory and Decision 6 (August):249-67.score: 48.0
    In this paper it is argued that certain stimulus-response learning models which are adequate to represent finite automata (acceptors) are not adequate to represent noninitial state input-output automata (transducers). This circumstance suggests the question whether or not the behavior of animals if satisfactorily modelled by automata is predictive. It is argued in partial answer that there are automata which can be explained in the sense that their transition and output functions can be described (roughly, Hempel-type covering (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Robert F. Barnes (1975). Review: Dana Scott, Some Definitional Suggestions for Automata Theory. [REVIEW] Journal of Symbolic Logic 40 (4):615-616.score: 45.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Stephen A. Cook (1971). Review: Jiri Becvar, Real-Time and Complexity Problems in Automata Theory. [REVIEW] Journal of Symbolic Logic 36 (2):346-346.score: 45.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Dennis F. Cudia (1974). Review: J. Hartmanis, F. D. Lewis, The Use of Lists in the Study of Undecidable Problems in Automata Theory. [REVIEW] Journal of Symbolic Logic 39 (2):347-347.score: 45.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Jean-Éric Pin (2011). J. Sakarovitch, Elements of Automata Theory. Bulletin of Symbolic Logic 17 (1):122.score: 45.0
     
    My bibliography  
     
    Export citation  
  8. Dirk Siefkes (1972). Review: J. W. Thatcher, J. B. Wright, Generalized Finite Automata Theory with an Application to a Decision Problem of Second-Order Logic. [REVIEW] Journal of Symbolic Logic 37 (3):619-620.score: 45.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. T. Acton, S. Caffrey, S. Dunn, P. Vinson & K. Svozil (1998). Analogues of Quantum Complementarity in the Theory of Automata - a Prolegomenon to the Philosophy of Quantum Mechanics. Studies in History and Philosophy of Science Part B 29 (1):61-80.score: 39.0
    Complementarity is not only a feature of quantum mechanical systems but occurs also in the context of finite automata.
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Milic Capek (1954). James's Early Criticism of the Automaton Theory. Journal of the History of Ideas 15 (April):260-279.score: 39.0
  11. Patrick Grim (1997). The Undecidability of the Spatialized Prisoner's Dilemma. Theory and Decision 42 (1):53-80.score: 39.0
    In the spatialized Prisoner's Dilemma, players compete against their immediate neighbors and adopt a neighbor's strategy should it prove locally superior. Fields of strategies evolve in the manner of cellular automata (Nowak and May, 1993; Mar and St. Denis, 1993a,b; Grim 1995, 1996). Often a question arises as to what the eventual outcome of an initial spatial configuration of strategies will be: Will a single strategy prove triumphant in the sense of progressively conquering more and more territory without opposition, (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  12. K. Svozil (1998). Analogues of Quantum Complementarity in the Theory of Automata. Studies in History and Philosophy of Science Part B 29 (1):61-80.score: 36.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. R. Nowakowski (1965). A Structural Theory of Matrix-Defined Finite Automata. Studia Logica 16 (1):115-116.score: 36.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Jerzy Nowak (1969). A Theory of Finite Many-Output Automata Defined by Matrices. Studia Logica 24 (1):55 - 81.score: 36.0
  15. J. Richard Büchi & Charles Zaiontz (1983). Deterministic Automata and the Monadic Theory of Ordinals < Ω2. Mathematical Logic Quarterly 29 (5):313-336.score: 36.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Jiri Becvar (1964). Review: N. E. Kobrinskij, B. A. Trahtenbrot, Introduction to the Theory of Finite Automata. [REVIEW] Journal of Symbolic Logic 29 (2):97-98.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Stephen L. Bloom (1991). Büchi J. Richard. Finite Automata, Their Algebras and Grammars. Towards a Theory of Formal Expressions. Edited by Siefkes Dirk. Springer-Verlag, New York, Berlin, Heidelberg, Etc., 1989, Xii+ 316 Pp. [REVIEW] Journal of Symbolic Logic 56 (2):762-763.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Stephen L. Bloom (1991). Review: J. Richard Buchi, Dirk Siefkes, Finite Automata, Their Algebras and Grammars. Towards a Theory of Formal Expressions. [REVIEW] Journal of Symbolic Logic 56 (2):762-763.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Robert L. Constable (1980). The Role of Finite Automata in the Development of Modern Computing Theory. In. In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland. 61--83.score: 36.0
    No categories
     
    My bibliography  
     
    Export citation  
  20. Howard Gutowitz (1996). Cellular Automata and the Sciences of Complexity (Part I): A Review of Some Outstanding Problems in the Theory of Cellular Automata. [REVIEW] Complexity 1 (5):16-22.score: 36.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. S. Huzino (1972). Review: Robert McNaughton, The Theory of Automata, a Survey. [REVIEW] Journal of Symbolic Logic 37 (4):760-760.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Robert McNaughton (1968). Review: N. E. Kobrinskii, B. A. Trakhtenbrot, Introduction to the Theory of Finite Automata. [REVIEW] Journal of Symbolic Logic 33 (3):466-466.score: 36.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. P. J. M. (1966). Introduction to the Theory of Finite Automata. Review of Metaphysics 19 (4):814-814.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Zdzislaw Pawlak (1956). Review: Gr. C. Moisil, Application of Galois Fields in the Theory of Automata. I. On Circuits with Rectifiers. [REVIEW] Journal of Symbolic Logic 21 (4):398-398.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Zdzislaw Pawlak (1956). Review: Gr. C. Moisil, Application of Galois Fields in the Theory of Automata. II. Circuits with Two Intermediate Elements. [REVIEW] Journal of Symbolic Logic 21 (4):398-399.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Anatol Rapoport (1967). The Vitalist: Mentalist Controversy Theory of Self-Reproducing Automata John von Neumann Arthur W. Burks. Bioscience 17 (9):659-660.score: 36.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. V. Vuckovic (1967). Review: Ryszard Nowakowski, A Structural Theory of Matrix-Defined Finite Automata. [REVIEW] Journal of Symbolic Logic 32 (3):391-391.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. James Worthington (2012). A Bialgebraic Approach to Automata and Formal Language Theory. Annals of Pure and Applied Logic 163 (7):745-762.score: 36.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. Philippe Gagnon (2013). "Que reste-t-il de la théologie à l'âge électronique ? Valeur et cybernétique axiologique chez Raymond Ruyer" [What is left of Theology in the Electronic Age? Value and Axiological Cybernetics in Raymond Ruyer]. In Chromatikon IX: Annales de la philosophie en procès — Yearbook of Philosophy in Process, M. Weber & V. Berne (Eds.). 93-120.score: 31.0
    This is the outline: Introduction — La question de la cybernétique et de l'information — Une « pensée du milieu » — Cybernétique et homologie — Une théorie de l'apprentissage — L'information vue de l'autre côté — Champ et domaine unitaire — La thèse des « autres-je » — Le passage par l'axiologie — La rétroaction vraie — L'ontologie de Ruyer — Le bruissement de l'être même.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30. Raymond J. Nelson (1978). Objects of Occasion Beliefs. Synthese 39 (September):105-139.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  31. Zeno Vendler (1984). The Matter of Minds. Clarendon Press.score: 30.0
  32. Gerard ’T. Hooft (2013). Duality Between a Deterministic Cellular Automaton and a Bosonic Quantum Field Theory in 1+1 Dimensions. Foundations of Physics 43 (5):597-614.score: 27.0
    Methods developed in a previous paper are employed to define an exact correspondence between the states of a deterministic cellular automaton in 1+1 dimensions and those of a bosonic quantum field theory. The result may be used to argue that quantum field theories may be much closer related to deterministic automata than what is usually thought possible.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. Shane Steinert-Threlkeld & I. I. I. Thomas F. Icard (2013). Iterating Semantic Automata. Linguistics and Philosophy 36 (2):151-173.score: 27.0
    The semantic automata framework, developed originally in the 1980s, provides computational interpretations of generalized quantifiers. While recent experimental results have associated structural features of these automata with neuroanatomical demands in processing sentences with quantifiers, the theoretical framework has remained largely unexplored. In this paper, after presenting some classic results on semantic automata in a modern style, we present the first application of semantic automata to polyadic quantification, exhibiting automata for iterated quantifiers. We also discuss the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. Olivier Finkel & Stevo Todorčević (2012). A Hierarchy of Tree-Automatic Structures. Journal of Symbolic Logic 77 (1):350-368.score: 27.0
    We consider ω n -automatic structures which are relational structures whose domain and relations are accepted by automata reading ordinal words of length ω n for some integer n ≥ 1. We show that all these structures are ω-tree-automatic structures presentable by Muller or Rabin tree automata. We prove that the isomorphism relation for ω 2 -automatic (resp. ω n -automatic for n > 2) boolean algebras (respectively, partial orders, rings, commutative rings, non commutative rings, non commutative groups) (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Luca Alberucci & Vincenzo Salipante (2004). On Modal Μ-Calculus and Non-Well-Founded Set Theory. Journal of Philosophical Logic 33 (4):343-360.score: 24.0
    A finitary characterization for non-well-founded sets with finite transitive closure is established in terms of a greatest fixpoint formula of the modal μ-calculus. This generalizes the standard result in the literature where a finitary modal characterization is provided only for wellfounded sets with finite transitive closure. The proof relies on the concept of automaton, leading then to new interlinks between automata theory and non-well-founded sets.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  36. Simon D. Angus & Andrew Newnham (2013). The Bit‐Economy: An Artificial Model of Open‐Ended Technology Discovery. Complexity 18 (5):57-67.score: 24.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Massimo Pigliucci (2012). On the Different Ways of ‘‘Doing Theory’’ in Biology. Biological Theory 7 (4):DOI 10.1007/s13752-012-0047-1.score: 21.0
    ‘‘Theoretical biology’’ is a surprisingly heter- ogeneous field, partly because it encompasses ‘‘doing the- ory’’ across disciplines as diverse as molecular biology, systematics, ecology, and evolutionary biology. Moreover, it is done in a stunning variety of different ways, using anything from formal analytical models to computer sim- ulations, from graphic representations to verbal arguments. In this essay I survey a number of aspects of what it means to do theoretical biology, and how they compare with the allegedly much more restricted (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Pablo Gilabert (2012). Comparative Assessments of Justice, Political Feasibility, and Ideal Theory. Ethical Theory and Moral Practice 15 (1):39-56.score: 21.0
    What should our theorizing about social justice aim at? Many political philosophers think that a crucial goal is to identify a perfectly just society. Amartya Sen disagrees. In The Idea of Justice, he argues that the proper goal of an inquiry about justice is to undertake comparative assessments of feasible social scenarios in order to identify reforms that involve justice-enhancement, or injustice-reduction, even if the results fall short of perfect justice. Sen calls this the “comparative approach” to the theory (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  39. Igor Primoratz (2002). Michael Walzer's Just War Theory: Some Issues of Responsibility. [REVIEW] Ethical Theory and Moral Practice 5 (2):221-243.score: 21.0
    In his widely influential statement of just war theory, Michael Walzer exempts conscripted soldiers from all responsibility for taking part in war, whether just or unjust (the thesis of the moral equality of soldiers). He endows the overwhelming majority of civilians with almost absolute immunity from military attack on the ground that they aren't responsible for the war their country is waging, whether just or unjust. I argue that Walzer is much too lenient on both soldiers and civilians. Soldiers (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  40. Robert S. Taylor (2012). Hate Speech, the Priority of Liberty, and the Temptations of Nonideal Theory. Ethical Theory and Moral Practice 15 (3):353-68.score: 21.0
    Are government restrictions on hate speech consistent with the priority of liberty? This relatively narrow policy question will serve as the starting point for a wider discussion of the use and abuse of nonideal theory in contemporary political philosophy, especially as practiced on the academic left. I begin by showing that hate speech (understood as group libel) can undermine fair equality of opportunity for historically-oppressed groups but that the priority of liberty seems to forbid its restriction. This tension between (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  41. Laurie Calhoun (2001). The Metaethical Paradox of Just War Theory. Ethical Theory and Moral Practice 4 (1):41-58.score: 21.0
    The traditional requirements upon the waging of a just war are ostensibly independent, but in actual practice each tenet is subject ultimately to the interpretation of a legitimate authority, whose declaration becomes the necessary and sufficient condition. While just war theory presupposes that some acts are absolutely wrong, it also implies that the killing of innocents can be rendered permissible through human decree. Nations are conventionally delimited, and leaders are conventionally appointed. Any group of people could band together to (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  42. Melissa Barry (2007). Realism, Rational Action, and the Humean Theory of Motivation. Ethical Theory and Moral Practice 10 (3):231-242.score: 21.0
    Realists about practical reasons agree that judgments regarding reasons are beliefs. They disagree, however, over the question of how such beliefs motivate rational action. Some adopt a Humean conception of motivation, according to which beliefs about reasons must combine with independently existing desires in order to motivate rational action; others adopt an anti-Humean view, according to which beliefs can motivate rational action in their own right, either directly or by giving rise to a new desire that in turn motivates the (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  43. Philippe Mongin (2012). The Doctrinal Paradox, the Discursive Dilemma, and Logical Aggregation Theory. Theory and Decision 73 (3):315-355.score: 21.0
    Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Martijn Boot (2012). The Aim of a Theory of Justice. Ethical Theory and Moral Practice 15 (1):7-21.score: 21.0
    Amartya Sen argues that for the advancement of justice identification of ‘perfect’ justice is neither necessary nor sufficient. He replaces ‘perfect’ justice with comparative justice. Comparative justice limits itself to comparing social states with respect to degrees of justice. Sen’s central thesis is that identifying ‘perfect’ justice and comparing imperfect social states are ‘analytically disjoined’. This essay refutes Sen’s thesis by demonstrating that to be able to make adequate comparisons we need to identify and integrate criteria of comparison. This is (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  45. Barry Smith (1988). Gestalt Theory: An Essay in Philosophy. In , Foundations of Gestalt Theory. Philosophia. 11--81.score: 21.0
    The Austrian philosopher Christian von Ehrenfels published his essay "On 'Gestalt Qualities'" in 1890. The essay initiated a current of thought which enjoyed a powerful position in the philosophy and psychology of the first half of this century and has more recently enjoyed a minor resurgence of interest in the area of cognitive science, above all in criticisms of the so-called 'strong programme' in artificial intelligence. The theory of Gestalt is of course associated most specifically with psychologists of the (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Neil Levy (2009). Empirically Informed Moral Theory: A Sketch of the Landscape. [REVIEW] Ethical Theory and Moral Practice 12 (1):3 - 8.score: 21.0
    This introduction to the special issue on empirically informed moral theory sketches the more important contributions to the field in the past several years. Attention is paid to experimental philosophy, the work of philosophers like Harman and Doris, and that of psychologists like Haidt and Hauser.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. Edward McClennen (2010). Rational Choice and Moral Theory. Ethical Theory and Moral Practice 13 (5):521-540.score: 21.0
    Contemporary discussions of the positive relation between rational choice and moral theory are a special case of a much older tradition that seeks to show that mutual agreement upon certain moral rules works to the mutual advantage, or in the interests, of those who so agree. I make a few remarks about the history of discussions of the connection between morality and self-interest, after which I argue that the modern theory of rational choice can be naturally understood as (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  48. Vadim Batitsky (1998). A Formal Rebuttal of the Central Argument for Functionalism. Erkenntnis 49 (2):201-20.score: 21.0
    The central argument for functionalism is the so-called argument from multiple realizations. According to this argument, because a functionally characterized system admits a potential infinity of structurally diverse physical realizations, the functional organization of such systems cannot be captured in a law-like manner at the level of physical description (and, thus, must be treated as a principally autonomous domain of inquiry). I offer a rebuttal of this argument based on formal modeling of its premises in the framework of automata (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  49. Joseph H. Carens (2004). A Contextual Approach to Political Theory. Ethical Theory and Moral Practice 7 (2):117-132.score: 21.0
    This article explores the advantages of using a range of actual cases in doing political theory. This sort of approach clarifies what is at stake in alternative theoretical formulations, draws attention to the wisdom that may be embedded in existing practices, and encourages theorists to confront challenges they might otherwise overlook and to think through the implications of their accounts more fully.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  50. Garrett Cullity (1999). Virtue Ethics, Theory, and Warrant. Ethical Theory and Moral Practice 2 (3):277-294.score: 21.0
    Are there good grounds for thinking that the moral values of action are to be derived from those of character? This virtue ethical claim is sometimes thought of as a kind of normative ethical theory; sometimes as form of opposition to any such theory. However, the best case to be made for it supports neither of these claims. Rather, it leads us to a distinctive view in moral epistemology: the view that my warrant for a particular moral judgement (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000