Oxford Index Search Results

You are looking at 21-40 of 5,706 items for:

formal operations x clear all

Show only full text

Refine by subject

 

Refine by type

Refine by product

 

Kleene star

Edited by Andrew Butterfield and Gerard Ekembe Ngondi.

in A Dictionary of Computer Science

January 2016; p ublished online January 2016 .

Reference Entry. Subjects: Computing. 101 words.

An operation on *formal languages that gives for any language L the language L*, defined by{Λ

Go to Oxford Reference »  home page

closure properties

Edited by Andrew Butterfield and Gerard Ekembe Ngondi.

in A Dictionary of Computer Science

January 2016; p ublished online January 2016 .

Reference Entry. Subjects: Computing. 119 words.

A class L of *formal languages is closed under an operation f if the application of f to languages

Go to Oxford Reference »  home page

regular expression

Edited by Andrew Butterfield and Gerard Ekembe Ngondi.

in A Dictionary of Computer Science

January 2016; p ublished online January 2016 .

Reference Entry. Subjects: Computing. 153 words.

An expression built from finite *formal languages (i.e. finite sets of strings) using the operations of *union,

Go to Oxford Reference »  home page

Arden’s rule

Edited by Andrew Butterfield and Gerard Ekembe Ngondi.

in A Dictionary of Computer Science

January 2016; p ublished online January 2016 .

Reference Entry. Subjects: Computing. 133 words.

A *formal language can be specified by means of equations, based on operations on languages. Arden’s rule states

Go to Oxford Reference »  home page

closure properties

John Daintith and Edmund Wright.

in A Dictionary of Computing

January 2008; p ublished online January 2008 .

Reference Entry. Subjects: Computing. 119 words.

A class L of *formal languages is closed under an operation f if the application of f to languages

Go to Oxford Reference »  home page

Arden's rule

John Daintith and Edmund Wright.

in A Dictionary of Computing

January 2008; p ublished online January 2008 .

Reference Entry. Subjects: Computing. 133 words.

A *formal language can be specified by means of equations, based on operations on languages. Arden's rule states

Go to Oxford Reference »  home page

Kleene star

John Daintith and Edmund Wright.

in A Dictionary of Computing

January 2008; p ublished online January 2008 .

Reference Entry. Subjects: Computing. 102 words.

An operation on *formal languages that gives for any language L the language L*, defined by{Λ

Go to Oxford Reference »  home page

regular expression

John Daintith and Edmund Wright.

in A Dictionary of Computing

January 2008; p ublished online January 2008 .

Reference Entry. Subjects: Computing. 155 words.

An expression built from finite *formal languages (i.e. finite sets of strings) using the operations of *union,

Go to Oxford Reference »  home page

morphological process

P. H. Matthews.

in The Concise Oxford Dictionary of Linguistics

January 2007; p ublished online January 2007 .

Reference Entry. Subjects: Linguistics. 61 words.

Any of the formal processes or operations by which the forms of words are derived from stems or roots.

Go to Oxford Reference »  home page

morphological process

P. H. Matthews.

in The Concise Oxford Dictionary of Linguistics

January 2014; p ublished online May 2014 .

Reference Entry. Subjects: Linguistics. 67 words.

Any of the formal processes or operations by which the forms of words are derived from *stems or *...

Go to Oxford Reference »  home page

Warsaw Pact

Petra Schleiter.

in The Concise Oxford Dictionary of Politics

January 2009; p ublished online January 2009 .

Reference Entry. Subjects: Politics. 223 words.

The Warsaw Pact, formally the ‘Warsaw Treaty Of Friendship, Co‐operation and Mutual Assistance’ was formed in May 1955. The

Go to Oxford Reference »  home page

stand-to

in The Oxford Essential Dictionary of the U.S. Military

January 2001; p ublished online January 2002 .

Reference Entry. Subjects: Military History. 21 words.

n.

1 the state of readiness for action or attack.

2 the formal start to a day of military operations.

Go to Oxford Reference »  home page

mental operation

Overview page. Subjects: Psychology.

In the writings of the Swiss psychologist Jean Piaget (1896–1980) and his followers, a mental procedure that can be carried out in reverse. Also called an operation. See concrete...

See overview in Oxford Index

Shifting Borders and the Boundaries of Rights: Examining the Safe Third Country Agreement between Canada and the United States

Efrat Arbel.

in International Journal of Refugee Law

March 2013; p ublished online March 2013 .

Journal Article. Subjects: Human Rights and Immigration; Refugee Studies. 11097 words.

This article analyzes the Canadian Federal Court and Federal Court of Appeal decisions assessing the Safe Third Country Agreement between Canada and the United States (STCA). It examines...

Go to Oxford Journals »  home page

Operation Condor

Robert O. Kirkland.

in Oxford Encyclopedia of the Modern World

January 2008; p ublished online January 2008 .

Reference Entry. Subjects: Contemporary History (Post 1945). 704 words.

Operation Condor was a top-secret arrangement among South American military intelligence agencies, formally launched in 1975 by Colonel Manuel Contreras

Go to Oxford Reference »  home page

National Association

Richard Vincent Comerford.

in The Oxford Companion to Irish History

January 2002; p ublished online January 2007 .

Reference Entry. Subjects: Regional and National History. 202 words.

formally instituted in Dublin in December 1864 to facilitate co‐operation between Irish Catholics and English radicals, specifically with a view

Go to Oxford Reference »  home page

programs of computers

Barry C. Smith.

in The Oxford Companion to Philosophy

January 2005; p ublished online January 2005 .

Reference Entry. Subjects: Philosophy. 190 words.

A formally specified set of instructions which guide the operations of a symbol-manipulating device. A program written in a particular

Go to Oxford Reference »  home page

computers

Barry C. Smith.

in The Oxford Companion to Philosophy

January 2005; p ublished online January 2005 .

Reference Entry. Subjects: Philosophy. 722 words.

Devices in which formal computations are performed automatically. A computation is an inference-like operation which is defined over a set

Go to Oxford Reference »  home page

Part V Enforcement, 20 Enforcement of Security in Insolvency

Hugh Beale, Michael Bridge, Louise Gullifer and Eva Lomnicka.

in The Law of Security and Title-Based Financing

March 2018 .

Chapter. Subjects: Law. 54 pages. 35224 words.

This chapter discusses the enforcement of security once formal insolvency proceedings have supervened. It deals primarily with liquidation, administration, and receivership but takes in...

Go to Financial and Banking Law »  abstract

National Association

Overview page. Subjects: European History.

Formally instituted in Dublin in December 1864 to facilitate co‐operation between Irish Catholics and English radicals, specifically with a view to promoting disestablishment. The...

See overview in Oxford Index