Ցույց տուր կառուցվածքը

Ամսագրի կամ հրապարակման վերնագիր:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Հրապարակման ամսաթիվ:

2006

Հատոր:

26

ISSN:

0131-4645

Լրացուցիչ տեղեկություն:

սեղմիր այստեղ կապին հետևելու համար

Վերնագիր:

On restriction optimal fixpoints

Այլ վերնագիր:

Սահմանափակման օպտիմալ անշարժ կետերի մասին

Ստեղծողը:

Vahan K. Margaryan

Խորագիր:

Mathematics

Չվերահսկվող բանալի բառեր:

Մարգարյան Վ.

Ծածկույթ:

21-27

Ամփոփում:

Optimal ¯xpoints extract maximum consistent information from recursive programs. However, optimal ¯xpoints, although they always exist for a recursive operator, aren't necessarily computable. We have introduced a modi¯ed notion of the optimal ¯xpoint, where the recursive operators are restricted to computable inputs. Existence results for and properties of this ¯xpoint are summarized in the article.

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիվը:

2006-09-10

Տեսակ:

Հոդված

Ձևաչափ:

pdf

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան