Journal or Publication Title:

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

Date of publication:

2006

Volume:

26

ISSN:

0131-4645

Additional Information:

click here to follow the link

Other title:

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

Coverage:

21-27

Abstract:

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.

Publisher:

Изд-во НАН РА

Date created:

2006-09-10

Format:

pdf

Identifier:

oai:arar.sci.am:258479

Location of original object:

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